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).
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:
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
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:
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
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:
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:
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
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:
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:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93355
David Malcolm changed:
What|Removed |Added
Summary|Missing diagnostic for |Missing diagnostic for
11 matches
Mail list logo