https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101953
--- Comment #28 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
That flag does work:
gcc -fsanitize=float-cast-overflow -Wall -o pr101953{,.c} -lm; ./pr101953
pr101953.c:12:11: runtime error: -32000 is outside the range of representable
values of type 'unsigned int'
-32000 vs -32000
Sanitizers are runtime instrumentation, so you actually need to run the
program.
