[Bug tree-optimization/100510] bogus -Wvla-large-than with -Walloca

2021-05-10 Thread msebor at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100510

Martin Sebor  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
   Keywords||diagnostic
 Resolution|--- |FIXED

--- Comment #3 from Martin Sebor  ---
Patch committed in r12-690.

[Bug tree-optimization/100510] bogus -Wvla-large-than with -Walloca

2021-05-10 Thread msebor at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100510
Bug 100510 depends on bug 100425, which changed state.

Bug 100425 Summary: missing -Walloca-larger-than with -O0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100425

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/100510] bogus -Wvla-large-than with -Walloca

2021-05-10 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100510

--- Comment #2 from CVS Commits  ---
The master branch has been updated by Martin Sebor :

https://gcc.gnu.org/g:f974b54b8a0c330e9dd2b43ebc940100d601df0f

commit r12-690-gf974b54b8a0c330e9dd2b43ebc940100d601df0f
Author: Martin Sebor 
Date:   Mon May 10 14:00:04 2021 -0600

Avoid -Walloca-larger-than and -Wvla-larger-than false postives and
negatives.

Resolves:
PR middle-end/100425 - missing -Walloca-larger-than with -O0
PR middle-end/100510 - bogus -Wvla-large-than with -Walloca

gcc/ChangeLog:

PR middle-end/100425
PR middle-end/100510
* gimple-ssa-warn-alloca.c (pass_walloca::firast_time_p): Rename...
(pass_walloca::xlimit_certain_p): ...to this.
(pass_walloca::gate): Execute for any kind of handled warning.
(pass_walloca::execute): Avoid issuing "maybe" and "unbounded"
warnings when xlimit_certain_p is set.

gcc/testsuite/ChangeLog:

PR middle-end/100425
PR middle-end/100510
* c-c++-common/Walloca-larger-than.C: New test.
* gcc.dg/Walloca-larger-than-4.c: New test.
* gcc.dg/Wvla-larger-than-5.c: New test.
* gcc.dg/pr79972.c: Remove unexpected warning directive.

[Bug tree-optimization/100510] bogus -Wvla-large-than with -Walloca

2021-05-10 Thread msebor at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100510

Martin Sebor  changed:

   What|Removed |Added

   Assignee|unassigned at gcc dot gnu.org  |msebor at gcc dot 
gnu.org
 Ever confirmed|0   |1
 Depends on||100425
   Last reconfirmed||2021-05-10
 Status|UNCONFIRMED |ASSIGNED

--- Comment #1 from Martin Sebor  ---
The patch for pr100425 also fixes this.


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100425
[Bug 100425] missing -Walloca-larger-than with -O0