https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110305
--- Comment #9 from Michael Morrell ---
And what about when -frounding-math is used? The transformation will still
occur in simplify_binary_operation_1 if -frounding-math -fno-signed-zeros
-fno-signaling-nans is used. Note that fold_real_zero_
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110305
--- Comment #8 from Michael Morrell ---
Interesting information. I still feel that perhaps both functions should use
the same logic to determine whether to make this transformation, but, for
example, the extra checking for the vector case done
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110305
Michael Morrell changed:
What|Removed |Added
CC||mmorrell at tachyum dot com
--- Comme
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97394
--- Comment #6 from Michael Morrell ---
Yes, thanks for the quick fix.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97394
--- Comment #4 from Michael Morrell ---
To run this, just use "gcc -fanalyzer -S -o /dev/null setjmp.c"
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97394
--- Comment #2 from Michael Morrell ---
Created attachment 49358
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49358&action=edit
Expected output
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97394
--- Comment #3 from Michael Morrell ---
Created attachment 49359
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49359&action=edit
Incorrect output
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97394
--- Comment #1 from Michael Morrell ---
Created attachment 49357
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49357&action=edit
Source file
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97394
Bug ID: 97394
Summary: Incorrect analyzer output for setjmp
Product: gcc
Version: 10.2.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
