[Bug tree-optimization/101187] enhancement for vector logic right shift with constant bigger than element precision

jakub at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Thu Jun 24 09:44:56 GMT 2021


https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101187

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
To make sure we diagnose it and catch it in ubsan and FE constant expression
folding.  The folding of the shift count into constant can happen almost any
time during the optimizations.
For ubsan and FE constant expression folding likely all that is needed is that
it is in match.pd GIMPLE only, because constexpr evaluation can use match.pd
folding and ubsan shifts are instrumented in the FEs, but for the diagnostics
not.


More information about the Gcc-bugs mailing list