https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97411
Bug ID: 97411 Summary: [11 regression] bogus message from gcc.dg/analyzer/malloc-vs-local-1b.c after r11-3840 Product: gcc Version: 11.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: analyzer Assignee: dmalcolm at gcc dot gnu.org Reporter: seurer at gcc dot gnu.org Target Milestone: --- g:af66094d037793773eb8a49597866457f2f6a104, r11-3840 FAIL: gcc.dg/analyzer/malloc-vs-local-1b.c (test for bogus messages, line 170) spawn -ignore SIGHUP /home/seurer/gcc/git/build/gcc-test/gcc/xgcc -B/home/seurer/gcc/git/build/gcc-test/gcc/ /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1b.c -fdiagnostics-plain-output -fanalyzer -Wanalyzer-too-complex -fanalyzer-call-summaries -fanalyzer-call-summaries -S -o malloc-vs-local-1b.s /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1b.c: In function 'test_initial_flag': /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1b.c:170:5: warning: 'free' of 'ptr' which points to memory not on the heap [CWE-590] [-Wanalyzer-free-of-non-heap] /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1b.c:158:6: note: (1) following 'false' branch (when 'on_heap == 0')... /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1b.c:161:9: note: (2) ...to here /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1b.c:161:9: note: (3) pointer is from here /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1b.c:169:6: note: (4) following 'true' branch (when 'n > 10')... /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1b.c:170:5: note: (5) ...to here /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1b.c:170:5: note: (6) call to 'free' here /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1b.c: At top level: /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1b.c:47:3: warning: 2 processed enodes: [EN: 69-70] /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1b.c:51:3: warning: 2 processed enodes: [EN: 75-76] /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1b.c:72:3: warning: 2 processed enodes: [EN: 105-106] /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1b.c:101:3: warning: 2 processed enodes: [EN: 125-126] /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1b.c:105:3: warning: 2 processed enodes: [EN: 131-132] /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1b.c:126:3: warning: 2 processed enodes: [EN: 161-162] /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1b.c:130:3: warning: 2 processed enodes: [EN: 167-168] /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1b.c:156:3: warning: 1 processed enode: [EN: 196] /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1b.c:163:3: warning: 2 processed enodes: [EN: 207-208] /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1b.c:167:3: warning: 2 processed enodes: [EN: 213-214] /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1b.c:76:3: warning: 2 processed enodes: [EN: 263, EN: 275] PASS: gcc.dg/analyzer/malloc-vs-local-1b.c (test for bogus messages, line 16) PASS: gcc.dg/analyzer/malloc-vs-local-1b.c (test for warnings, line 47) PASS: gcc.dg/analyzer/malloc-vs-local-1b.c (test for warnings, line 51) PASS: gcc.dg/analyzer/malloc-vs-local-1b.c (test for bogus messages, line 54) PASS: gcc.dg/analyzer/malloc-vs-local-1b.c (test for bogus messages, line 56) PASS: gcc.dg/analyzer/malloc-vs-local-1b.c (test for warnings, line 72) PASS: gcc.dg/analyzer/malloc-vs-local-1b.c (test for warnings, line 76) PASS: gcc.dg/analyzer/malloc-vs-local-1b.c (test for bogus messages, line 79) PASS: gcc.dg/analyzer/malloc-vs-local-1b.c (test for bogus messages, line 81) PASS: gcc.dg/analyzer/malloc-vs-local-1b.c (test for warnings, line 101) PASS: gcc.dg/analyzer/malloc-vs-local-1b.c (test for warnings, line 105) PASS: gcc.dg/analyzer/malloc-vs-local-1b.c (test for bogus messages, line 108) PASS: gcc.dg/analyzer/malloc-vs-local-1b.c (test for bogus messages, line 110) PASS: gcc.dg/analyzer/malloc-vs-local-1b.c (test for warnings, line 126) PASS: gcc.dg/analyzer/malloc-vs-local-1b.c (test for warnings, line 130) PASS: gcc.dg/analyzer/malloc-vs-local-1b.c (test for bogus messages, line 133) PASS: gcc.dg/analyzer/malloc-vs-local-1b.c (test for bogus messages, line 135) PASS: gcc.dg/analyzer/malloc-vs-local-1b.c (test for warnings, line 156) PASS: gcc.dg/analyzer/malloc-vs-local-1b.c (test for warnings, line 163) PASS: gcc.dg/analyzer/malloc-vs-local-1b.c (test for warnings, line 167) FAIL: gcc.dg/analyzer/malloc-vs-local-1b.c (test for bogus messages, line 170) PASS: gcc.dg/analyzer/malloc-vs-local-1b.c (test for bogus messages, line 172) Executing on host: /home/seurer/gcc/git/build/gcc-test/gcc/xgcc -B/home/seurer/gcc/git/build/gcc-test/gcc/ exceptions_enabled46322.cc -fdiagnostics-plain-output -S -o exceptions_enabled46322.s (timeout = 300) spawn -ignore SIGHUP /home/seurer/gcc/git/build/gcc-test/gcc/xgcc -B/home/seurer/gcc/git/build/gcc-test/gcc/ exceptions_enabled46322.cc -fdiagnostics-plain-output -S -o exceptions_enabled46322.s PASS: gcc.dg/analyzer/malloc-vs-local-1b.c (test for excess errors) testcase /home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/analyzer.exp completed in 1 seconds === gcc Summary === # of expected passes 22 # of unexpected failures 1