Results for 10.3.0 (Debian 10.3.0-7) testsuite on i686-pc-linux-gnu
LAST_UPDATED: Obtained from git: releases/gcc-10.3.0 revision f00b5710a30f22efc3171c393e56aeb335c3cd39 === acats tests === === acats Summary === # of expected passes2320 # of unexpected failures0 Native configuration is i686-pc-linux-gnu === brig tests === Running target unix === brig Summary === # of unsupported tests 1 === g++ tests === Running target unix FAIL: g++.dg/abi/anon1.C -std=c++98 scan-assembler-not globl FAIL: g++.dg/abi/anon1.C -std=c++14 scan-assembler-not globl FAIL: g++.dg/abi/anon1.C -std=c++17 scan-assembler-not globl FAIL: g++.dg/abi/anon1.C -std=c++2a scan-assembler-not globl FAIL: g++.dg/abi/anon4.C -std=c++98 scan-assembler-not comdat FAIL: g++.dg/abi/anon4.C -std=c++14 scan-assembler-not comdat FAIL: g++.dg/abi/anon4.C -std=c++17 scan-assembler-not comdat FAIL: g++.dg/abi/anon4.C -std=c++2a scan-assembler-not comdat FAIL: g++.dg/pr71694.C -std=gnu++98 scan-assembler-not movl FAIL: g++.dg/pr71694.C -std=gnu++14 scan-assembler-not movl FAIL: g++.dg/pr71694.C -std=gnu++17 scan-assembler-not movl FAIL: g++.dg/pr71694.C -std=gnu++2a scan-assembler-not movl FAIL: g++.dg/stackprotectexplicit2.C -std=gnu++98 scan-assembler-times stack_chk_fail 2 FAIL: g++.dg/stackprotectexplicit2.C -std=gnu++14 scan-assembler-times stack_chk_fail 2 FAIL: g++.dg/stackprotectexplicit2.C -std=gnu++17 scan-assembler-times stack_chk_fail 2 FAIL: g++.dg/stackprotectexplicit2.C -std=gnu++2a scan-assembler-times stack_chk_fail 2 FAIL: g++.dg/guality/pr55665.C -O2 -flto -fno-use-linker-plugin -flto-partition=none line 23 p == 40 FAIL: g++.dg/ubsan/vla-1.C -O2 -flto -fuse-linker-plugin -fno-fat-lto-objects execution test === g++ Summary for unix === # of expected passes192913 # of unexpected failures18 # of expected failures 894 # of unsupported tests 8146 Running target unix/-fstack-protector FAIL: g++.dg/abi/anon1.C -std=c++98 scan-assembler-not globl FAIL: g++.dg/abi/anon1.C -std=c++14 scan-assembler-not globl FAIL: g++.dg/abi/anon1.C -std=c++17 scan-assembler-not globl FAIL: g++.dg/abi/anon1.C -std=c++2a scan-assembler-not globl FAIL: g++.dg/abi/anon4.C -std=c++98 scan-assembler-not comdat FAIL: g++.dg/abi/anon4.C -std=c++14 scan-assembler-not comdat FAIL: g++.dg/abi/anon4.C -std=c++17 scan-assembler-not comdat FAIL: g++.dg/abi/anon4.C -std=c++2a scan-assembler-not comdat FAIL: g++.dg/pr71694.C -std=gnu++98 scan-assembler-not movl FAIL: g++.dg/pr71694.C -std=gnu++14 scan-assembler-not movl FAIL: g++.dg/pr71694.C -std=gnu++17 scan-assembler-not movl FAIL: g++.dg/pr71694.C -std=gnu++2a scan-assembler-not movl FAIL: g++.dg/stackprotectexplicit2.C -std=gnu++98 scan-assembler-times stack_chk_fail 2 FAIL: g++.dg/stackprotectexplicit2.C -std=gnu++14 scan-assembler-times stack_chk_fail 2 FAIL: g++.dg/stackprotectexplicit2.C -std=gnu++17 scan-assembler-times stack_chk_fail 2 FAIL: g++.dg/stackprotectexplicit2.C -std=gnu++2a scan-assembler-times stack_chk_fail 2 FAIL: g++.dg/guality/pr55665.C -O2 -flto -fno-use-linker-plugin -flto-partition=none line 23 p == 40 FAIL: g++.dg/ubsan/vla-1.C -O2 -flto -fuse-linker-plugin -fno-fat-lto-objects execution test === g++ Summary for unix/-fstack-protector === # of expected passes192913 # of unexpected failures18 # of expected failures 894 # of unsupported tests 8146 === g++ Summary === # of expected passes385826 # of unexpected failures36 # of expected failures 1788 # of unsupported tests 16292 /build/gcc-10-zDCx4s/gcc-10-10.3.0/build/gcc/xg++ version 10.3.0 (Debian 10.3.0-7) === gcc tests === Running target unix FAIL: gcc.dg/debug/dwarf2/pr97060.c scan-assembler-times DW_AT_declaration 2 FAIL: gcc.dg/sibcall-11.c scan-assembler jmp XPASS: gcc.dg/guality/example.c -O0 execution test XPASS: gcc.dg/guality/example.c -O1 -DPREVENT_OPTIMIZATION execution test XPASS: gcc.dg/guality/example.c -Og -DPREVENT_OPTIMIZATION execution test XPASS: gcc.dg/guality/example.c -O2 -flto -fno-use-linker-plugin -flto-partition=none -DPREVENT_OPTIMIZATION execution test XPASS: gcc.dg/guality/guality.c -O0 execution test XPASS: gcc.dg/guality/guality.c -O1 -DPREVENT_OPTIMIZATION execution test XPASS: gcc.dg/guality/guality.c -O2 -DPREVENT_OPTIMIZATION execution test XPASS: gcc.dg/guality/guality.c -O3 -g -DPREVENT_OPTIMIZATION execution test XPASS: gcc.dg/guality/guality.c -Os -DPREVENT_OPTIMIZATION execution test XPASS: gcc.dg/guality/guality.c -Og -DPREVENT_OPTIMIZATION execution test XPASS: gcc.dg/guality/guality.c -O2 -flto -fno-use-linker-plugin -flto-partition=none -DPREVENT_OPTIMIZATION execution test XPASS: gcc.dg/guality/guality.c -O2 -flto -fuse-linker-plugin
Bug#993021: gcc-11: incorrect -Wanalyzer-shift-count-overflow warning
Package: gcc-11
Version: 11.2.0-3
Severity: important
Tags: upstream
Forwarded: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98447
Compiling the following code with "gcc-11 -fanalyzer -c"
void f (unsigned long *p, int r, int i)
{
int b = 64, n = r % 64;
while (i >= 0 && b >= 0)
{
if (b <= n)
p[i--] = 1UL << b;
b -= n;
}
}
gives:
warn-shiftcount.c: In function ‘f’:
warn-shiftcount.c:8:22: warning: shift by count (‘64’) >= precision of type
(‘6’) [-Wanalyzer-shift-count-overflow]
8 | p[i--] = 1UL << b;
| ^~~~
‘f’: events 1-5
|
|5 | while (i >= 0 && b >= 0)
| | ~~~^
| | |
| | (1) following ‘true’ branch...
|6 | {
|7 | if (b <= n)
| | ~
| | |
| | (2) ...to here
| | (3) following ‘true’ branch (when ‘b <= n’)...
|8 | p[i--] = 1UL << b;
| | ~~~
| || |
| || (5) shift by count ‘64’ here
| |(4) ...to here
This warning is incorrect, since 1UL << b is in the "if" branch,
where b <= n and n <= 63 (thus b <= 63).
No such issue with gcc-10 and before.
This makes testing of GNU MPFR fail (this testcase was derived from
GNU MPFR's random2.c).
-- System Information:
Debian Release: bookworm/sid
APT prefers unstable-debug
APT policy: (500, 'unstable-debug'), (500, 'stable-security'), (500,
'unstable'), (500, 'testing'), (500, 'stable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Kernel: Linux 5.10.0-8-amd64 (SMP w/8 CPU threads)
Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_OOT_MODULE,
TAINT_UNSIGNED_MODULE
Locale: LANG=POSIX, LC_CTYPE=C.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled
Versions of packages gcc-11 depends on:
ii binutils 2.37-4
ii cpp-11 11.2.0-3
ii gcc-11-base11.2.0-3
ii libc6 2.31-17
ii libcc1-0 11.2.0-3
ii libgcc-11-dev 11.2.0-3
ii libgcc-s1 11.2.0-3
ii libgmp10 2:6.2.1+dfsg-1
ii libisl23 0.23-1
ii libmpc31.2.0-1
ii libmpfr6 4.1.0-3
ii libstdc++6 11.2.0-3
ii libzstd1 1.4.8+dfsg-2.1
ii zlib1g 1:1.2.11.dfsg-2
Versions of packages gcc-11 recommends:
ii libc6-dev 2.31-17
Versions of packages gcc-11 suggests:
pn gcc-11-doc
ii gcc-11-locales 11.2.0-3
ii gcc-11-multilib 11.2.0-3
-- no debconf information
--
Vincent Lefèvre - Web:
