public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug analyzer/107566] New: array out of bounds not detected
@ 2022-11-08 2:07 jamie.bainbridge at gmail dot com
2022-11-08 5:43 ` [Bug analyzer/107566] " pinskia at gcc dot gnu.org
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: jamie.bainbridge at gmail dot com @ 2022-11-08 2:07 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107566
Bug ID: 107566
Summary: array out of bounds not detected
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: jamie.bainbridge at gmail dot com
Target Milestone: ---
Minimal reproducer:
int main(void)
{
int my_array[3] = { 0 };
for(int i = 0; i < 6; i++)
my_array[i] = i;
return 0;
}
The array has 3 members, but the loop counts further.
This is caught by cppcheck, clang alpha, and PVS-Studio, but not gcc trunk.
URL to reproducer: https://godbolt.org/z/dx96qbcqs
Commandline options: -O0 -Wall -Wextra -Wpedantic -fanalyzer -v
Tested version: gcc
(Compiler-Explorer-Build-gcc-c56826d0f3b143a9cb64ee263707046f8073c1b6-binutils-2.38)
13.0.0 20221106 (experimental)
Complete verbose output:
Using built-in specs.
COLLECT_GCC=/opt/compiler-explorer/gcc-snapshot/bin/gcc
Target: x86_64-linux-gnu
Configured with: ../gcc-trunk-20221107/configure
--prefix=/opt/compiler-explorer/gcc-build/staging --build=x86_64-linux-gnu
--host=x86_64-linux-gnu --target=x86_64-linux-gnu --disable-bootstrap
--enable-multiarch --with-abi=m64 --with-multilib-list=m32,m64,mx32
--enable-multilib --enable-clocale=gnu
--enable-languages=c,c++,fortran,ada,objc,obj-c++,d --enable-ld=yes
--enable-gold=yes --enable-libstdcxx-debug --enable-libstdcxx-time=yes
--enable-linker-build-id --enable-lto --enable-plugins --enable-threads=posix
--with-pkgversion=Compiler-Explorer-Build-gcc-c56826d0f3b143a9cb64ee263707046f8073c1b6-binutils-2.38
--enable-libstdcxx-backtrace=yes
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 13.0.0 20221106 (experimental)
(Compiler-Explorer-Build-gcc-c56826d0f3b143a9cb64ee263707046f8073c1b6-binutils-2.38)
COLLECT_GCC_OPTIONS='-fdiagnostics-color=always' '-g' '-o' '/app/output.s'
'-masm=intel' '-S' '-O0' '-Wall' '-Wextra' '-Wpedantic' '-fanalyzer' '-v'
'-save-temps' '-mtune=generic' '-march=x86-64' '-dumpdir' '/app/'
/opt/compiler-explorer/gcc-trunk-20221107/bin/../libexec/gcc/x86_64-linux-gnu/13.0.0/cc1
-E -quiet -v -imultiarch x86_64-linux-gnu -iprefix
/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/13.0.0/
<source> -masm=intel -mtune=generic -march=x86-64 -Wall -Wextra -Wpedantic
-fdiagnostics-color=always -fanalyzer -g -fworking-directory -O0
-fpch-preprocess -o /app/output.i
ignoring nonexistent directory
"/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/13.0.0/../../../../x86_64-linux-gnu/include"
ignoring duplicate directory
"/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/../../lib/gcc/x86_64-linux-gnu/13.0.0/include"
ignoring nonexistent directory "/usr/local/include/x86_64-linux-gnu"
ignoring duplicate directory
"/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/../../lib/gcc/x86_64-linux-gnu/13.0.0/include-fixed/x86_64-linux-gnu"
ignoring duplicate directory
"/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/../../lib/gcc/x86_64-linux-gnu/13.0.0/include-fixed"
ignoring nonexistent directory
"/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/../../lib/gcc/x86_64-linux-gnu/13.0.0/../../../../x86_64-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/13.0.0/include
/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/13.0.0/include-fixed/x86_64-linux-gnu
/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/13.0.0/include-fixed
/usr/local/include
/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/../../include
/usr/include/x86_64-linux-gnu
/usr/include
End of search list.
COLLECT_GCC_OPTIONS='-fdiagnostics-color=always' '-g' '-o' '/app/output.s'
'-masm=intel' '-S' '-O0' '-Wall' '-Wextra' '-Wpedantic' '-fanalyzer' '-v'
'-save-temps' '-mtune=generic' '-march=x86-64' '-dumpdir' '/app/'
/opt/compiler-explorer/gcc-trunk-20221107/bin/../libexec/gcc/x86_64-linux-gnu/13.0.0/cc1
-fpreprocessed /app/output.i -quiet -dumpdir /app/ -dumpbase output.c
-dumpbase-ext .c -masm=intel -mtune=generic -march=x86-64 -g -O0 -Wall -Wextra
-Wpedantic -version -fdiagnostics-color=always -fanalyzer -o /app/output.s
GNU C17
(Compiler-Explorer-Build-gcc-c56826d0f3b143a9cb64ee263707046f8073c1b6-binutils-2.38)
version 13.0.0 20221106 (experimental) (x86_64-linux-gnu)
compiled by GNU C version 9.4.0, GMP version 6.2.1, MPFR version 4.1.0,
MPC version 1.2.1, isl version isl-0.24-GMP
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
GNU C17
(Compiler-Explorer-Build-gcc-c56826d0f3b143a9cb64ee263707046f8073c1b6-binutils-2.38)
version 13.0.0 20221106 (experimental) (x86_64-linux-gnu)
compiled by GNU C version 9.4.0, GMP version 6.2.1, MPFR version 4.1.0,
MPC version 1.2.1, isl version isl-0.24-GMP
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: 0290f59709883f52562bc4105777b706
<source>: In function 'main':
<source>:3:13: warning: variable 'my_array' set but not used
[-Wunused-but-set-variable]
3 | int my_array[3] = { 0 };
| ^~~~~~~~
COMPILER_PATH=/opt/compiler-explorer/gcc-trunk-20221107/bin/../libexec/gcc/x86_64-linux-gnu/13.0.0/:/opt/compiler-explorer/gcc-trunk-20221107/bin/../libexec/gcc/x86_64-linux-gnu/:/opt/compiler-explorer/gcc-trunk-20221107/bin/../libexec/gcc/:/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/13.0.0/../../../../x86_64-linux-gnu/bin/
LIBRARY_PATH=/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/13.0.0/:/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/:/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/:/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/13.0.0/../../../../lib64/:/lib/x86_64-linux-gnu/:/lib/../lib64/:/usr/lib/x86_64-linux-gnu/:/usr/lib/../lib64/:/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/13.0.0/../../../../x86_64-linux-gnu/lib/:/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/13.0.0/../../../:/lib/:/usr/lib/
COLLECT_GCC_OPTIONS='-fdiagnostics-color=always' '-g' '-o' '/app/output.s'
'-masm=intel' '-S' '-O0' '-Wall' '-Wextra' '-Wpedantic' '-fanalyzer' '-v'
'-save-temps' '-mtune=generic' '-march=x86-64' '-dumpdir' '/app/output.'
ASM generation compiler returned: 0
Using built-in specs.
COLLECT_GCC=/opt/compiler-explorer/gcc-snapshot/bin/gcc
COLLECT_LTO_WRAPPER=/opt/compiler-explorer/gcc-trunk-20221107/bin/../libexec/gcc/x86_64-linux-gnu/13.0.0/lto-wrapper
Target: x86_64-linux-gnu
Configured with: ../gcc-trunk-20221107/configure
--prefix=/opt/compiler-explorer/gcc-build/staging --build=x86_64-linux-gnu
--host=x86_64-linux-gnu --target=x86_64-linux-gnu --disable-bootstrap
--enable-multiarch --with-abi=m64 --with-multilib-list=m32,m64,mx32
--enable-multilib --enable-clocale=gnu
--enable-languages=c,c++,fortran,ada,objc,obj-c++,d --enable-ld=yes
--enable-gold=yes --enable-libstdcxx-debug --enable-libstdcxx-time=yes
--enable-linker-build-id --enable-lto --enable-plugins --enable-threads=posix
--with-pkgversion=Compiler-Explorer-Build-gcc-c56826d0f3b143a9cb64ee263707046f8073c1b6-binutils-2.38
--enable-libstdcxx-backtrace=yes
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 13.0.0 20221106 (experimental)
(Compiler-Explorer-Build-gcc-c56826d0f3b143a9cb64ee263707046f8073c1b6-binutils-2.38)
COLLECT_GCC_OPTIONS='-fdiagnostics-color=always' '-g' '-o' '/app/output.s'
'-O0' '-Wall' '-Wextra' '-Wpedantic' '-fanalyzer' '-v' '-save-temps' '-L.'
'-mtune=generic' '-march=x86-64' '-dumpdir' '/app/output.s-'
/opt/compiler-explorer/gcc-trunk-20221107/bin/../libexec/gcc/x86_64-linux-gnu/13.0.0/cc1
-E -quiet -v -imultiarch x86_64-linux-gnu -iprefix
/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/13.0.0/
<source> -mtune=generic -march=x86-64 -Wall -Wextra -Wpedantic
-fdiagnostics-color=always -fanalyzer -g -fworking-directory -O0
-fpch-preprocess -o /app/output.s-example.i
ignoring nonexistent directory
"/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/13.0.0/../../../../x86_64-linux-gnu/include"
ignoring duplicate directory
"/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/../../lib/gcc/x86_64-linux-gnu/13.0.0/include"
ignoring nonexistent directory "/usr/local/include/x86_64-linux-gnu"
ignoring duplicate directory
"/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/../../lib/gcc/x86_64-linux-gnu/13.0.0/include-fixed/x86_64-linux-gnu"
ignoring duplicate directory
"/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/../../lib/gcc/x86_64-linux-gnu/13.0.0/include-fixed"
ignoring nonexistent directory
"/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/../../lib/gcc/x86_64-linux-gnu/13.0.0/../../../../x86_64-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/13.0.0/include
/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/13.0.0/include-fixed/x86_64-linux-gnu
/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/13.0.0/include-fixed
/usr/local/include
/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/../../include
/usr/include/x86_64-linux-gnu
/usr/include
End of search list.
COLLECT_GCC_OPTIONS='-fdiagnostics-color=always' '-g' '-o' '/app/output.s'
'-O0' '-Wall' '-Wextra' '-Wpedantic' '-fanalyzer' '-v' '-save-temps' '-L.'
'-mtune=generic' '-march=x86-64' '-dumpdir' '/app/output.s-'
/opt/compiler-explorer/gcc-trunk-20221107/bin/../libexec/gcc/x86_64-linux-gnu/13.0.0/cc1
-fpreprocessed /app/output.s-example.i -quiet -dumpdir /app/output.s- -dumpbase
example.c -dumpbase-ext .c -mtune=generic -march=x86-64 -g -O0 -Wall -Wextra
-Wpedantic -version -fdiagnostics-color=always -fanalyzer -o
/app/output.s-example.s
GNU C17
(Compiler-Explorer-Build-gcc-c56826d0f3b143a9cb64ee263707046f8073c1b6-binutils-2.38)
version 13.0.0 20221106 (experimental) (x86_64-linux-gnu)
compiled by GNU C version 9.4.0, GMP version 6.2.1, MPFR version 4.1.0,
MPC version 1.2.1, isl version isl-0.24-GMP
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
GNU C17
(Compiler-Explorer-Build-gcc-c56826d0f3b143a9cb64ee263707046f8073c1b6-binutils-2.38)
version 13.0.0 20221106 (experimental) (x86_64-linux-gnu)
compiled by GNU C version 9.4.0, GMP version 6.2.1, MPFR version 4.1.0,
MPC version 1.2.1, isl version isl-0.24-GMP
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: 0290f59709883f52562bc4105777b706
<source>: In function 'main':
<source>:3:13: warning: variable 'my_array' set but not used
[-Wunused-but-set-variable]
3 | int my_array[3] = { 0 };
| ^~~~~~~~
COLLECT_GCC_OPTIONS='-fdiagnostics-color=always' '-g' '-o' '/app/output.s'
'-O0' '-Wall' '-Wextra' '-Wpedantic' '-fanalyzer' '-v' '-save-temps' '-L.'
'-mtune=generic' '-march=x86-64' '-dumpdir' '/app/output.s-'
/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/13.0.0/../../../../x86_64-linux-gnu/bin/as
-v --gdwarf-5 --64 -o /app/output.s-example.o /app/output.s-example.s
GNU assembler version 2.38 (x86_64-linux-gnu) using BFD version
(Compiler-Explorer-Build-gcc-c56826d0f3b143a9cb64ee263707046f8073c1b6-binutils-2.38)
2.38
COMPILER_PATH=/opt/compiler-explorer/gcc-trunk-20221107/bin/../libexec/gcc/x86_64-linux-gnu/13.0.0/:/opt/compiler-explorer/gcc-trunk-20221107/bin/../libexec/gcc/x86_64-linux-gnu/:/opt/compiler-explorer/gcc-trunk-20221107/bin/../libexec/gcc/:/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/13.0.0/../../../../x86_64-linux-gnu/bin/
LIBRARY_PATH=/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/13.0.0/:/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/:/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/:/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/13.0.0/../../../../lib64/:/lib/x86_64-linux-gnu/:/lib/../lib64/:/usr/lib/x86_64-linux-gnu/:/usr/lib/../lib64/:/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/13.0.0/../../../../x86_64-linux-gnu/lib/:/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/13.0.0/../../../:/lib/:/usr/lib/
COLLECT_GCC_OPTIONS='-fdiagnostics-color=always' '-g' '-o' '/app/output.s'
'-O0' '-Wall' '-Wextra' '-Wpedantic' '-fanalyzer' '-v' '-save-temps' '-L.'
'-mtune=generic' '-march=x86-64' '-dumpdir' '/app/output.s.'
/opt/compiler-explorer/gcc-trunk-20221107/bin/../libexec/gcc/x86_64-linux-gnu/13.0.0/collect2
-plugin
/opt/compiler-explorer/gcc-trunk-20221107/bin/../libexec/gcc/x86_64-linux-gnu/13.0.0/liblto_plugin.so
-plugin-opt=/opt/compiler-explorer/gcc-trunk-20221107/bin/../libexec/gcc/x86_64-linux-gnu/13.0.0/lto-wrapper
-plugin-opt=-fresolution=/app/output.s.res -plugin-opt=-pass-through=-lgcc
-plugin-opt=-pass-through=-lgcc_s -plugin-opt=-pass-through=-lc
-plugin-opt=-pass-through=-lgcc -plugin-opt=-pass-through=-lgcc_s --build-id
--eh-frame-hdr -m elf_x86_64 -dynamic-linker /lib64/ld-linux-x86-64.so.2 -o
/app/output.s /lib/x86_64-linux-gnu/crt1.o /lib/x86_64-linux-gnu/crti.o
/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/13.0.0/crtbegin.o
-L.
-L/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/13.0.0
-L/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu
-L/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc
-L/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/13.0.0/../../../../lib64
-L/lib/x86_64-linux-gnu -L/lib/../lib64 -L/usr/lib/x86_64-linux-gnu
-L/usr/lib/../lib64
-L/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/13.0.0/../../../../x86_64-linux-gnu/lib
-L/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/13.0.0/../../..
/app/output.s-example.o -rpath . -lgcc --push-state --as-needed -lgcc_s
--pop-state -lc -lgcc --push-state --as-needed -lgcc_s --pop-state
/opt/compiler-explorer/gcc-trunk-20221107/bin/../lib/gcc/x86_64-linux-gnu/13.0.0/crtend.o
/lib/x86_64-linux-gnu/crtn.o
COLLECT_GCC_OPTIONS='-fdiagnostics-color=always' '-g' '-o' '/app/output.s'
'-O0' '-Wall' '-Wextra' '-Wpedantic' '-fanalyzer' '-v' '-save-temps' '-L.'
'-mtune=generic' '-march=x86-64' '-dumpdir' '/app/output.s.'
Execution build compiler returned: 0
Program returned: 0
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug analyzer/107566] array out of bounds not detected
2022-11-08 2:07 [Bug analyzer/107566] New: array out of bounds not detected jamie.bainbridge at gmail dot com
@ 2022-11-08 5:43 ` pinskia at gcc dot gnu.org
2022-11-08 6:37 ` jamie.bainbridge at gmail dot com
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: pinskia at gcc dot gnu.org @ 2022-11-08 5:43 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107566
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
At -O1 GCC does detect it:
<source>: In function 'int main()':
<source>:6:29: warning: iteration 3 invokes undefined behavior
[-Waggressive-loop-optimizations]
6 | my_array[i] = i;
| ~~~~~~~~~~~~^~~
<source>:5:26: note: within this loop
5 | for(int i = 0; i < 6; i++)
| ~~^~~
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug analyzer/107566] array out of bounds not detected
2022-11-08 2:07 [Bug analyzer/107566] New: array out of bounds not detected jamie.bainbridge at gmail dot com
2022-11-08 5:43 ` [Bug analyzer/107566] " pinskia at gcc dot gnu.org
@ 2022-11-08 6:37 ` jamie.bainbridge at gmail dot com
2022-11-08 7:00 ` jamie.bainbridge at gmail dot com
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: jamie.bainbridge at gmail dot com @ 2022-11-08 6:37 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107566
--- Comment #2 from Jamie Bainbridge <jamie.bainbridge at gmail dot com> ---
Thanks for the quick response!
I guess Compiler Explorer doesn't enable static analysis on its "trunk"
compiler, and I also see now its "static analysis" branch is back at gcc-10.
I'll see what I can do to improve that on their site.
Is "-Waggressive-loop-optimizations" the correct thing to trip here?
I would have expected "-Wanalyzer-out-of-bounds".
If you're happy that is working correctly, this is good to close as WORKSFORME
or whatever you feel is appropriate.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug analyzer/107566] array out of bounds not detected
2022-11-08 2:07 [Bug analyzer/107566] New: array out of bounds not detected jamie.bainbridge at gmail dot com
2022-11-08 5:43 ` [Bug analyzer/107566] " pinskia at gcc dot gnu.org
2022-11-08 6:37 ` jamie.bainbridge at gmail dot com
@ 2022-11-08 7:00 ` jamie.bainbridge at gmail dot com
2022-11-08 15:25 ` dmalcolm at gcc dot gnu.org
2023-01-27 22:12 ` dmalcolm at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: jamie.bainbridge at gmail dot com @ 2022-11-08 7:00 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107566
--- Comment #3 from Jamie Bainbridge <jamie.bainbridge at gmail dot com> ---
Compiler Explorer are still tracking the old "devel/analyzer" branch.
Logged an Issue for them to consider update options:
[BUG]: GCC static analysis branch is outdated/obsolete #4256
https://github.com/compiler-explorer/compiler-explorer/issues/4256
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug analyzer/107566] array out of bounds not detected
2022-11-08 2:07 [Bug analyzer/107566] New: array out of bounds not detected jamie.bainbridge at gmail dot com
` (2 preceding siblings ...)
2022-11-08 7:00 ` jamie.bainbridge at gmail dot com
@ 2022-11-08 15:25 ` dmalcolm at gcc dot gnu.org
2023-01-27 22:12 ` dmalcolm at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: dmalcolm at gcc dot gnu.org @ 2022-11-08 15:25 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107566
David Malcolm <dmalcolm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |ASSIGNED
Last reconfirmed| |2022-11-08
Ever confirmed|0 |1
--- Comment #4 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
(In reply to Jamie Bainbridge from comment #2)
[...snip...]
> Is "-Waggressive-loop-optimizations" the correct thing to trip here?
>
> I would have expected "-Wanalyzer-out-of-bounds".
>
> If you're happy that is working correctly, this is good to close as
> WORKSFORME or whatever you feel is appropriate.
Please keep this open; the analyzer ought to be able to detect such cases,
without optimization needing to be on.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug analyzer/107566] array out of bounds not detected
2022-11-08 2:07 [Bug analyzer/107566] New: array out of bounds not detected jamie.bainbridge at gmail dot com
` (3 preceding siblings ...)
2022-11-08 15:25 ` dmalcolm at gcc dot gnu.org
@ 2023-01-27 22:12 ` dmalcolm at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: dmalcolm at gcc dot gnu.org @ 2023-01-27 22:12 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107566
David Malcolm <dmalcolm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |DUPLICATE
Status|ASSIGNED |RESOLVED
--- Comment #5 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
This turns out to be very similar to PR 108432; marking as a dup.
*** This bug has been marked as a duplicate of bug 108432 ***
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2023-01-27 22:12 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-11-08 2:07 [Bug analyzer/107566] New: array out of bounds not detected jamie.bainbridge at gmail dot com
2022-11-08 5:43 ` [Bug analyzer/107566] " pinskia at gcc dot gnu.org
2022-11-08 6:37 ` jamie.bainbridge at gmail dot com
2022-11-08 7:00 ` jamie.bainbridge at gmail dot com
2022-11-08 15:25 ` dmalcolm at gcc dot gnu.org
2023-01-27 22:12 ` dmalcolm at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).