https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88109
--- Comment #2 from Zdenek Sojka <zsojka at seznam dot cz> ---
The same applies for eg. division by zero; doing such vector operation results
in:
$ cat testcase-sanitize.c
int v __attribute__ ((vector_size (8)));
int
main (void)
{
return (v / v)[0];
}
$ x86_64-pc-linux-gnu-gcc -fsanitize=undefined testcase-sanitize.c
$ ./a.out
Floating point exception
But the sanitizer does not report the invalid operation.
