https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95008
Bug ID: 95008
Summary: [11 regression] excess errors in
gcc.dg/analyzer/pr93382.c and gcc.dg/two-types-6.c
after r11-169
Product: gcc
Version: 11.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: testsuite
Assignee: unassigned at gcc dot gnu.org
Reporter: seurer at linux dot vnet.ibm.com
Target Milestone: ---
this run : g:f8a4141bae53f9125d374e5873dcda3f75392f1f, r11-169
FAIL: gcc.dg/analyzer/pr93382.c (test for warnings, line 17)
FAIL: gcc.dg/two-types-6.c (test for warnings, line 5)
The changes in r11-169 cause these tests to now fail, at least on powerpc64.
Executing on host: /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/pr93382.c
-fno-diagnostics-show-caret -fno-diagnostics-show-line-numbers
-fdiagnostics-color=never -fdiagnostics-urls=never -fanalyzer
-fdiagnostics-path-format=separate-events -Wanalyzer-too-complex
-fanalyzer-call-summaries -fanalyzer-checker=taint -S -o pr93382.s (timeout
= 300)
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/pr93382.c
-fno-diagnostics-show-caret -fno-diagnostics-show-line-numbers
-fdiagnostics-color=never -fdiagnostics-urls=never -fanalyzer
-fdiagnostics-path-format=separate-events -Wanalyzer-too-complex
-fanalyzer-call-summaries -fanalyzer-checker=taint -S -o pr93382.s
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/pr93382.c: In
function 'pl':
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/pr93382.c:26:13:
warning: use of tainted value 'idx' in array lookup without bounds checking
[CWE-129] [-Wanalyzer-tainted-array-index]
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/pr93382.c:23:1:
note: (1) entry to 'pl'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/pr93382.c:25:3:
note: (2) calling 'ql' from 'pl'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/pr93382.c:12:1:
note: (3) entry to 'ql'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/pr93382.c:16:3:
note: (4) 'n1' gets an unchecked value here
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/pr93382.c:17:7:
note: (5) 'idx' has an unchecked value here (from 'n1')
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/pr93382.c:25:3:
note: (6) returning to 'pl' from 'ql'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/analyzer/pr93382.c:26:13:
note: (7) use of tainted value 'idx' in array lookup without bounds checking
PASS: gcc.dg/analyzer/pr93382.c (test for warnings, line 16)
FAIL: gcc.dg/analyzer/pr93382.c (test for warnings, line 17)
PASS: gcc.dg/analyzer/pr93382.c (test for warnings, line 26)
PASS: gcc.dg/analyzer/pr93382.c (test for excess errors)
Executing on host: /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/two-types-6.c
-fno-diagnostics-show-caret -fno-diagnostics-show-line-numbers
-fdiagnostics-color=never -fdiagnostics-urls=never -std=gnu89 -S -o
two-types-6.s (timeout = 300)
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/two-types-6.c
-fno-diagnostics-show-caret -fno-diagnostics-show-line-numbers
-fdiagnostics-color=never -fdiagnostics-urls=never -std=gnu89 -S -o
two-types-6.s
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/two-types-6.c:6:3: error:
expected ';', identifier or '(' before 'struct'
compiler exited with status 1
FAIL: gcc.dg/two-types-6.c (test for warnings, line 5)
PASS: gcc.dg/two-types-6.c (test for errors, line 6)
PASS: gcc.dg/two-types-6.c (test for excess errors)
