[Bug c/59708] clang-compatible checked arithmetic builtins

[trippels at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59708

--- Comment #23 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
(In reply to Marek Polacek from comment #22)
> So fixed?

Not on ppc64:

trippels@gcc2-power8 ~ % cat out_check15 | grep overflow
FAIL: gcc.dg/builtin-arith-overflow-1.c execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-10.c   -O2  execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-10.c   -O2 -flto
-fno-use-linker-plugin -flto-partition=none  execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-10.c   -O2 -flto
-fuse-linker-plugin -fno-fat-lto-objects  execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-11.c   -O2  execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-11.c   -O2 -flto
-fno-use-linker-plugin -flto-partition=none  execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-11.c   -O2 -flto
-fuse-linker-plugin -fno-fat-lto-objects  execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-17.c   -O0  execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-17.c   -O2  execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-17.c   -O2 -flto
-fno-use-linker-plugin -flto-partition=none  execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-17.c   -O2 -flto
-fuse-linker-plugin -fno-fat-lto-objects  execution test
FAIL: c-c++-common/ubsan/float-cast-overflow-7.c   -O2  execution test
FAIL: c-c++-common/ubsan/float-cast-overflow-7.c   -O2 -flto
-fno-use-linker-plugin -flto-partition=none  execution test
FAIL: c-c++-common/ubsan/float-cast-overflow-7.c   -O2 -flto
-fuse-linker-plugin -fno-fat-lto-objects  execution test
FAIL: c-c++-common/ubsan/float-cast-overflow-8.c   -O2  output pattern test, is
../../../../gcc/libsanitizer/ubsan/ubsan_handlers.cc:300: runtime error: value
0 is outside the range of representable values of type 'signed char'
FAIL: c-c++-common/ubsan/float-cast-overflow-8.c   -O2 -flto
-fno-use-linker-plugin -flto-partition=none  output pattern test, is
../../../../gcc/libsanitizer/ubsan/ubsan_handlers.cc:300: runtime error: value
0 is outside the range of representable values of type 'signed char'
FAIL: c-c++-common/ubsan/float-cast-overflow-8.c   -O2 -flto
-fuse-linker-plugin -fno-fat-lto-objects  output pattern test, is
../../../../gcc/libsanitizer/ubsan/ubsan_handlers.cc:300: runtime error: value
0 is outside the range of representable values of type 'signed char'
FAIL: c-c++-common/torture/builtin-arith-overflow-10.c   -O2  execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-10.c   -O2 -flto
-fno-use-linker-plugin -flto-partition=none  execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-10.c   -O2 -flto
-fuse-linker-plugin -fno-fat-lto-objects  execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-11.c   -O2  execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-11.c   -O2 -flto
-fno-use-linker-plugin -flto-partition=none  execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-11.c   -O2 -flto
-fuse-linker-plugin -fno-fat-lto-objects  execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-17.c   -O0  execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-17.c   -O2  execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-17.c   -O2 -flto
-fno-use-linker-plugin -flto-partition=none  execution test
FAIL: c-c++-common/torture/builtin-arith-overflow-17.c   -O2 -flto
-fuse-linker-plugin -fno-fat-lto-objects  execution test
FAIL: c-c++-common/ubsan/float-cast-overflow-7.c   -O2  execution test
FAIL: c-c++-common/ubsan/float-cast-overflow-7.c   -O2 -flto
-fno-use-linker-plugin -flto-partition=none  execution test
FAIL: c-c++-common/ubsan/float-cast-overflow-7.c   -O2 -flto
-fuse-linker-plugin -fno-fat-lto-objects  execution test
FAIL: c-c++-common/ubsan/float-cast-overflow-8.c   -O2  output pattern test, is
../../../../gcc/libsanitizer/ubsan/ubsan_handlers.cc:300: runtime error: value
0 is outside the range of representable values of type 'signed char'
FAIL: c-c++-common/ubsan/float-cast-overflow-8.c   -O2 -flto
-fno-use-linker-plugin -flto-partition=none  output pattern test, is
../../../../gcc/libsanitizer/ubsan/ubsan_handlers.cc:300: runtime error: value
0 is outside the range of representable values of type 'signed char'
FAIL: c-c++-common/ubsan/float-cast-overflow-8.c   -O2 -flto
-fuse-linker-plugin -fno-fat-lto-objects  output pattern test, is
../../../../gcc/libsanitizer/ubsan/ubsan_handlers.cc:300: runtime error: value
0 is outside the range of representable values of type 'signed char'