[Bug c++/21584] New: ICE: verify_flow_sensitive_alias_info failed.

[Bug c++/21584] New: ICE: verify_flow_sensitive_alias_info failed.

[graham dot stott at btinternet dot com]

G++ at O1 or above aborts with

ps.ii: In function 'void baz()':
ps.ii:24: error: Pointers with a memory tag, should have points-to sets or point
to malloc
p_40, name memory tag: NMT.6, points-to vars: { }
p, UID 0, char *, type memory tag: TMT.3
ps.ii:24: internal compiler error: verify_flow_sensitive_alias_info failed.

-- 
           Summary: ICE: verify_flow_sensitive_alias_info failed.
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: graham dot stott at btinternet dot com
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-unknown-gnu
  GCC host triplet: i686-pc-unknown-gnu
GCC target triplet: i686-pc-unknown-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21584

[Bug c++/21584] ICE: verify_flow_sensitive_alias_info failed.

[graham dot stott at btinternet dot com]

------- Additional Comments From graham dot stott at btinternet dot com  2005-05-15 15:42 -------
Created an attachment (id=8892)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8892&action=view)
C++ testcase which aborts at -O1 or abive


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21584

[Bug tree-optimization/21584] [4.1 Regression] ICE: verify_flow_sensitive_alias_info failed.

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-05-15 17:23 -------
Confirmed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dnovillo at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
          Component|c++                         |tree-optimization
     Ever Confirmed|                            |1
  GCC build triplet|i686-pc-unknown-gnu         |
   GCC host triplet|i686-pc-unknown-gnu         |
 GCC target triplet|i686-pc-unknown-gnu         |
           Keywords|                            |ice-on-valid-code
      Known to fail|                            |4.1.0
      Known to work|                            |4.0.0
   Last reconfirmed|0000-00-00 00:00:00         |2005-05-15 17:23:21
               date|                            |
            Summary|ICE:                        |[4.1 Regression] ICE:
                   |verify_flow_sensitive_alias_|verify_flow_sensitive_alias_
                   |info failed.                |info failed.
   Target Milestone|---                         |4.1.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21584

[Bug tree-optimization/21584] [4.1 Regression] ICE: verify_flow_sensitive_alias_info failed.

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-05-15 17:25 -------
This worked with "4.1.0 20050420", I think the patch which moved tree-loop-CH around exposed a 
latent bug.

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21584

[Bug tree-optimization/21584] [4.1 Regression] ICE: verify_flow_sensitive_alias_info failed.

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-05-15 18:07 -------
Here is as reduced as I could get it:
extern char *strcpy (char *__restrict __dest, __const char *__restrict __src);

extern char *foo (void);
extern void *malloc(__SIZE_TYPE__) __attribute__((malloc));

char v[100];

void baz()
{
  char *vec;
  char buf[512];

  char *p = buf;
  while (v[(*p)])
    p++;

  if (*p != '#' && (p = foo()) != 0) {
    strcpy ((char*)malloc(10), p);
  }
}

Note it works with the C front-end but that is only because of the difference in the trees which are 
produced (stupid C++ front-end produces more trees for the if statement).

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21584

[Bug tree-optimization/21584] [4.1 Regression] ICE: verify_flow_sensitive_alias_info failed.

[tobias at yoper dot com]

------- Additional Comments From tobias at yoper dot com  2005-05-31 20:23 -------
can be confirmed while compiling groff-1.19.1

i686-pc-linux-gnu-g++ -v --save-temps -I. -I.
-I/usr/src/yoper/BUILD/groff-1.19.1/src/include
-I/usr/src/yoper/BUILD/groff-1.19.1/src/include -DHAVE_CONFIG_H -O3 -march=i686
-mtune=i686 -m32 -pipe -fomit-frame-pointer -maccumulate-outgoing-args -fPIC
-fvisibility-inlines-hidden  -c ps.cpp
i686-pc-linux-gnu-g++: warning: -pipe ignored because -save-temps specified
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: ../gcc-4.1-20050528/configure --host=i686-pc-linux-gnu
--build=i686-pc-linux-gnu --target=i686-pc-linux-gnu --prefix=/usr
--sysconfdir=/etc --sharedstatedir=/var/com --localstatedir=/var
--libdir=/usr/lib --includedir=/usr/include --infodir=/usr/share/info
--mandir=/usr/share/man --enable-shared --enable-threads=posix --enable-static
--enable-__cxa_atexit --enable-clocale=gnu --enable-languages=c,c++ --enable-nls
--with-system-zlib --disable-multilib
Thread model: posix
gcc version 4.1.0 20050528 (experimental)
 /usr/libexec/gcc/i686-pc-linux-gnu/4.1.0/cc1plus -E -quiet -v -I. -I.
-I/usr/src/yoper/BUILD/groff-1.19.1/src/include
-I/usr/src/yoper/BUILD/groff-1.19.1/src/include -D_GNU_SOURCE -DHAVE_CONFIG_H
ps.cpp -march=i686 -mtune=i686 -m32 -maccumulate-outgoing-args
-fomit-frame-pointer -fPIC -fvisibility-inlines-hidden -O3 -fpch-preprocess -o ps.ii
[...]
/usr/libexec/gcc/i686-pc-linux-gnu/4.1.0/cc1plus -fpreprocessed ps.ii -quiet
-dumpbase ps.cpp -march=i686-mtune=i686 -m32 -maccumulate-outgoing-args -auxbase
ps -O3 -version -fomit-frame-pointer -fPIC -fvisibility-inlines-hidden -o ps.s
GNU C++ version 4.1.0 20050528 (experimental) (i686-pc-linux-gnu)
        compiled by GNU C version 4.0.0.
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: d4ec6a8f635cd5c4155aad0c4d4e580f
ps.cpp: In member function 'void ps_printer::define_encoding(const char*, int)':
ps.cpp:781: error: Pointers with a memory tag, should have points-to sets or
point to malloc
p_27, name memory tag: NMT.942, points-to vars: { }
p, UID 11, char *, type memory tag: TMT.936
ps.cpp:781: internal compiler error: verify_flow_sensitive_alias_info failed.
Please submit a full bug report,




-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21584

[Bug tree-optimization/21584] [4.1 Regression] ICE: verify_flow_sensitive_alias_info failed.

[dnovillo at gcc dot gnu dot org]

------- Additional Comments From dnovillo at gcc dot gnu dot org  2005-06-30 21:20 -------

Testing fix.  When creating new name tags, we should also consider pointers that
are not being dereferenced.  They may have inherited a name tag from copy
propagation or SSA update.  Will commit after testing.


Index: tree-ssa-alias.c
===================================================================
RCS file: /cvs/gcc/gcc/gcc/tree-ssa-alias.c,v
retrieving revision 2.98
diff -d -u -p -r2.98 tree-ssa-alias.c
--- tree-ssa-alias.c    25 Jun 2005 02:01:32 -0000      2.98
+++ tree-ssa-alias.c    30 Jun 2005 21:18:44 -0000
@@ -782,10 +782,15 @@ create_name_tags (struct alias_info *ai)
 {
   size_t i;

-  for (i = 0; i < VARRAY_ACTIVE_SIZE (ai->processed_ptrs); i++)
+  for (i = 1; i < num_ssa_names; i++)
     {
-      tree ptr = VARRAY_TREE (ai->processed_ptrs, i);
-      struct ptr_info_def *pi = SSA_NAME_PTR_INFO (ptr);
+      tree ptr = ssa_name (i);
+      struct ptr_info_def *pi;
+
+      if (ptr == NULL_TREE || !POINTER_TYPE_P (TREE_TYPE (ptr)))
+       continue;
+
+      pi = SSA_NAME_PTR_INFO (ptr);

       if (pi->pt_anything || !pi->is_dereferenced)
        {


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21584

[Bug tree-optimization/21584] [4.1 Regression] ICE: verify_flow_sensitive_alias_info failed.

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-07-01 03:55 -------
Subject: Bug 21584

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	dnovillo@gcc.gnu.org	2005-07-01 03:55:28

Modified files:
	gcc            : ChangeLog tree-ssa-alias.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/tree-ssa: pr21584-1.C pr21584-2.C 

Log message:
	PR 21584
	PR 22219
	* tree-ssa-alias.c (create_name_tags): Also process
	non-dereferenced pointers.
	Remove argument 'ai'.  Update all callers.
	
	testsuite/ChangeLog
	
	PR 21584
	PR 22219
	* g++.dg/tree-ssa/pr21584-1.C: New test.
	* g++.dg/tree-ssa/pr21584-2.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.9305&r2=2.9306
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-alias.c.diff?cvsroot=gcc&r1=2.99&r2=2.100
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.5711&r2=1.5712
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/tree-ssa/pr21584-1.C.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/tree-ssa/pr21584-2.C.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21584

[Bug tree-optimization/21584] [4.1 Regression] ICE: verify_flow_sensitive_alias_info failed.

[dnovillo at gcc dot gnu dot org]

------- Additional Comments From dnovillo at gcc dot gnu dot org  2005-07-01 04:02 -------

Fixed.  http://gcc.gnu.org/ml/gcc-patches/2005-07/msg00009.html.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21584