[Bug analyzer/93355] Missing diagnostic for missing fclose in intl/localealias.c

2021-03-11 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93355 --- Comment #11 from David Malcolm --- The above patch fixes the feasibility issue in (b) above, and the analyzer now successfully emits a diagnostic for the leak. The only remaining issue is (a) (see comment #9 above).

[Bug analyzer/93355] Missing diagnostic for missing fclose in intl/localealias.c

2021-03-11 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93355 --- Comment #10 from CVS Commits --- The master branch has been updated by David Malcolm : https://gcc.gnu.org/g:3857edb5d32dcdc11d9a2fe3ad7c156c52a1ec7f commit r11-7640-g3857edb5d32dcdc11d9a2fe3ad7c156c52a1ec7f Author: David Malcolm Date:

[Bug analyzer/93355] Missing diagnostic for missing fclose in intl/localealias.c

2021-03-05 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93355 --- Comment #9 from David Malcolm --- Going back to the summary from comment #4: (a) It happens to successfully explore enough of the graph to find the leak, but hits complexity limits at a program point (b) Without -fno-analyzer-feasibility, it

[Bug analyzer/93355] Missing diagnostic for missing fclose in intl/localealias.c

2021-03-03 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93355 --- Comment #8 from David Malcolm --- (In reply to David Malcolm from comment #4) > (a) It happens to successfully explore enough of the graph to find the leak, > but hits complexity limits at 1 program point: > > pr93355-localealias.c:263:41:

[Bug analyzer/93355] Missing diagnostic for missing fclose in intl/localealias.c

2021-02-02 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93355 --- Comment #7 from David Malcolm --- (In reply to CVS Commits from comment #6) > The master branch has been updated by David Malcolm : > > https://gcc.gnu.org/g:8a2750086d57d1a2251d9239fa4e6c2dc9ec3a86 > > commit

[Bug analyzer/93355] Missing diagnostic for missing fclose in intl/localealias.c

2021-02-01 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93355 --- Comment #6 from CVS Commits --- The master branch has been updated by David Malcolm : https://gcc.gnu.org/g:8a2750086d57d1a2251d9239fa4e6c2dc9ec3a86 commit r11-7029-g8a2750086d57d1a2251d9239fa4e6c2dc9ec3a86 Author: David Malcolm Date:

[Bug analyzer/93355] Missing diagnostic for missing fclose in intl/localealias.c

2021-02-01 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93355 --- Comment #5 from CVS Commits --- The master branch has been updated by David Malcolm : https://gcc.gnu.org/g:f2f639c4a781016ad146d44f463714fe4295cb6e commit r11-7028-gf2f639c4a781016ad146d44f463714fe4295cb6e Author: David Malcolm Date:

[Bug analyzer/93355] Missing diagnostic for missing fclose in intl/localealias.c

2021-01-26 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93355 --- Comment #4 from David Malcolm --- Current status is that there is testcase coverage for this in git, but the test requires: /* { dg-additional-options "-Wno-analyzer-too-complex -fno-analyzer-feasibility" } */ (a) It happens to

[Bug analyzer/93355] Missing diagnostic for missing fclose in intl/localealias.c

2020-09-23 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93355 --- Comment #3 from CVS Commits --- The master branch has been updated by David Malcolm : https://gcc.gnu.org/g:6b828f69519a50e6e2961b62ea552bf89d287199 commit r11-3415-g6b828f69519a50e6e2961b62ea552bf89d287199 Author: David Malcolm Date:

[Bug analyzer/93355] Missing diagnostic for missing fclose in intl/localealias.c

2020-09-21 Thread cvs-commit at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93355 --- Comment #2 from CVS Commits --- The master branch has been updated by David Malcolm : https://gcc.gnu.org/g:15e7b93ba4256884c90198c678ed7eded4e73464 commit r11-3340-g15e7b93ba4256884c90198c678ed7eded4e73464 Author: David Malcolm Date:

[Bug analyzer/93355] Missing diagnostic for missing fclose in intl/localealias.c

2020-02-04 Thread dmalcolm at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93355 David Malcolm changed: What|Removed |Added Summary|Missing diagnostic for |Missing diagnostic for