It's currently in the committee pipeline. Perhaps someone should tell them this is an use-case. ^^ @timur_audio
LLVM has something like it on the IR level: http://llvm.org/docs/LangRef.html#llvm-invariant-start-intrinsic …
-
-
Oh, interesting! Thanks for the link
-
FWIW, `http://invariant.group ` could be potentially used to model the invariance of `const` fields--it's mentioned as a possible "Future Work" in "Modeling the Invariance of Virtual Pointers in LLVM" (https://arxiv.org/abs/2003.04228 ) by
@PiotrPadlewski,@KPszeniczny, and@zygoloid. - 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.