https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98508
Martin Sebor changed:
What|Removed |Added
Resolution|--- |DUPLICATE
Status|NEW
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98508
--- Comment #5 from Martin Sebor ---
There's no need to change the fn spec. The simple (and safe) solution to this
request is to check calls to see if they're to IFN_ASAN_MARK, like this:
diff --git a/gcc/tree-ssa-uninit.c
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98508
--- Comment #4 from Jakub Jelinek ---
It is not simple at all. While the ifns don't modify the references variable,
they do modify the corresponding shadow memory, which is something GCC aliasing
oracle doesn't track at all, so by supplying
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98508
Martin Sebor changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Ever confirmed|0