[Bug analyzer/97394] Incorrect analyzer output for setjmp

2020-10-14 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97394 David Malcolm changed: What|Removed |Added Resolution|--- |FIXED Status|UNCONFIRMED

[Bug analyzer/97394] Incorrect analyzer output for setjmp

2020-10-14 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97394 --- Comment #7 from CVS Commits --- The master branch has been updated by David Malcolm : https://gcc.gnu.org/g:974e3975c5bd14ee8817f892532d1e55492227df commit r11-3894-g974e3975c5bd14ee8817f892532d1e55492227df Author: David Malcolm Date: Tu

[Bug analyzer/97394] Incorrect analyzer output for setjmp

2020-10-13 Thread mmorrell at tachyum dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97394 --- Comment #6 from Michael Morrell --- Yes, thanks for the quick fix.

[Bug analyzer/97394] Incorrect analyzer output for setjmp

2020-10-13 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97394 --- Comment #5 from David Malcolm --- Created attachment 49366 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49366&action=edit [PATCH] analyzer: don't use in tests [PR97394] Thanks for filing this bug. Does this patch fix the testsuite

[Bug analyzer/97394] Incorrect analyzer output for setjmp

2020-10-12 Thread mmorrell at tachyum dot com via Gcc-bugs
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"

[Bug analyzer/97394] Incorrect analyzer output for setjmp

2020-10-12 Thread mmorrell at tachyum dot com via Gcc-bugs
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

[Bug analyzer/97394] Incorrect analyzer output for setjmp

2020-10-12 Thread mmorrell at tachyum dot com via Gcc-bugs
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

[Bug analyzer/97394] Incorrect analyzer output for setjmp

2020-10-12 Thread mmorrell at tachyum dot com via Gcc-bugs
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