https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111875
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
The whole point of the sanitizers is don't trust users as much as possible,
verify there is no UB at runtime.
So, sanitizers shouldn't if possible use VRP etc. in order to optimize checks
away.
We don't achieve that always, best at -O0 of course, but that is the intent.
Furthermore, I think at -Og VRP isn't enabled at all.
