https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105855
Bug ID: 105855
Summary: missed optimization - vectorization
-fsanitize=signed-integer-overflow
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: muecker at gwdg dot de
Target Milestone: ---
It would be nice if -fsanitize=signed-integer-overflow
would impact optimization less, so it could be used
in production more often.
In the following example, using this flag prevents
vectorization:
void f(int i, float * restrict a, float * restrict b)
{
for (int j = i; j < i + 4; ++j)
a[j] = b[j] + 1.;
}
https://godbolt.org/z/raqdd794x
