https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103546
--- Comment #7 from David Malcolm ---
As it notes, the above patch reduces the number of false positives on
flex-generated scanners, but doesn't fix them all. Keeping this bug open to
track fixing them.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103546
--- Comment #6 from CVS Commits ---
The master branch has been updated by David Malcolm :
https://gcc.gnu.org/g:78a17f4452db9514da7cc8706c654cb98ba0a8e6
commit r13-4399-g78a17f4452db9514da7cc8706c654cb98ba0a8e6
Author: David Malcolm
Date: T
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103546
--- Comment #5 from CVS Commits ---
The master branch has been updated by David Malcolm :
https://gcc.gnu.org/g:4409152a4acaec5b58a93996088d0df9aaa779b8
commit r12-6377-g4409152a4acaec5b58a93996088d0df9aaa779b8
Author: David Malcolm
Date: F
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103546
--- Comment #4 from CVS Commits ---
The master branch has been updated by David Malcolm :
https://gcc.gnu.org/g:c1b7d28a5987e74232b7f054849f8bd8ccc7e7de
commit r12-6376-gc1b7d28a5987e74232b7f054849f8bd8ccc7e7de
Author: David Malcolm
Date: F
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103546
--- Comment #3 from David Malcolm ---
The -Wanalyzer-null-dereference false positive seems to be due to the analyzer
being overzealous about escaping, where it erroneously is treating
yy_buffer_stack as having escaped, and thus can be overwritte
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103546
--- Comment #2 from CVS Commits ---
The master branch has been updated by David Malcolm :
https://gcc.gnu.org/g:d564a83d14252d7db01381f71900b7a68357803b
commit r12-6323-gd564a83d14252d7db01381f71900b7a68357803b
Author: David Malcolm
Date: T
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103546
David Malcolm changed:
What|Removed |Added
Last reconfirmed||2022-01-05
Ever confirmed|0
