[Bug tree-optimization/96522] New: Incorrect with with -O -fno-tree-pta

[trt at alumni dot duke.edu]

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

Bug ID: 96522
   Summary: Incorrect with with -O -fno-tree-pta
   Product: gcc
   Version: 10.2.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
  Assignee: unassigned at gcc dot gnu.org
  Reporter: trt at alumni dot duke.edu
  Target Milestone: ---

Created attachment 49020
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49020&action=edit
demo of flaw in no-tree-pta

The attached program t.c, when compiled with

# gcc (GCC) 10.2.0
gcc t.c -O -fno-tree-pta

has this output:

I think p is non-NULL
I think p is non-NULL

But it is obvious that p is NULL

[Bug sanitizer/61897] sanitizer internal compiler error: in build2_stat, at tree.c:4160

[trt at alumni dot duke.edu]

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

Tom Truscott  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

--- Comment #4 from Tom Truscott  ---
This patch works fine for me, thanks!

[Bug c/61897] New: sanitizer internal compiler error: in build2_stat, at tree.c:4160

[trt at alumni dot duke.edu]

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

Bug ID: 61897
   Summary: sanitizer internal compiler error: in build2_stat, at
tree.c:4160
   Product: gcc
   Version: 4.9.1
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: trt at alumni dot duke.edu

gcc -c foo.c -fsanitize=address
foo.c: In function âisfooâ:
foo.c:3:5: internal compiler error: in build2_stat, at tree.c:4160

foo.c is

//#include 
int isfoo(char *s) { return memcmp(s, "foo", 3) == 0; }

gcc -v reports:

Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/c/bb04na1a/vol/sas3rd/wky/mva-v940/lax/gcc/gcc-4.9.1/bin/../libexec/gcc/x86_64-unknown-linux-gnu/4.9.1/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../configure --prefix=/sas3rd/wky/mva-v940/lax/gcc/gcc-4.9.1
--enable-languages=c,c++,fortran
Thread model: posix
gcc version 4.9.1 (GCC)