[Bug tree-optimization/38104] New: ICE segmentation fault (with -O3 when deref a NULL pointer in the code??)

[Bug tree-optimization/38104] New: ICE segmentation fault (with -O3 when deref a NULL pointer in the code??)

[wouter dot vermaelen at scarlet dot be]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 723 bytes --]

> cat bug.ii
struct Foo { int foo; };
void f0();
void f1(Foo) { f0(); }
void f2() { f1(*static_cast<Foo*>(0)); }

> g++ -O3 bug.ii
bug.ii: In function ‘void f2()’:
bug.ii:4: internal compiler error: Segmentation fault

I can trigger this with SVN revision 141816.


-- 
           Summary: ICE segmentation fault  (with -O3 when deref a NULL
                    pointer in the code??)
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: wouter dot vermaelen at scarlet dot be


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

[Bug tree-optimization/38104] [4.4 Regression] ICE segmentation fault (with -O3 when deref a NULL pointer in the code??)

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2008-11-13 19:11 -------
Program received signal SIGSEGV, Segmentation fault.
0x0000000000c030dd in get_addr_dereference_operands (stmt=0x7fa8393e58c0, 
    addr=0x7fa8393cc970, flags=0, full_ref=0x7fa8393cc940, offset=0, size=-1, 
    recurse_on_base=1 '\001')
    at ../../../src/trunk/gcc/tree-ssa-operands.c:1525
1525              if (v_ann->symbol_mem_tag)


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
      Known to work|                            |4.3.2
   Last reconfirmed|0000-00-00 00:00:00         |2008-11-13 19:11:16
               date|                            |
            Summary|ICE segmentation fault      |[4.4 Regression] ICE
                   |(with -O3 when deref a NULL |segmentation fault  (with -
                   |pointer in the code??)      |O3 when deref a NULL pointer
                   |                            |in the code??)
   Target Milestone|---                         |4.4.0


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

[Bug tree-optimization/38104] [4.4 Regression] ICE segmentation fault (with -O3 when deref a NULL pointer in the code??)

[jakub at gcc dot gnu dot org]

------- Comment #2 from jakub at gcc dot gnu dot org  2008-11-14 09:00 -------
3 possible ways to fix this:
1) in get_addr_dereference_operands use if (v_ann && v_ann->symbol_mem_tag)
2) in get_addr_dereference_operands use get_var_ann (ptr) instead of var_ann
(ptr).
3) 
--- gimplify.c.jj        2008-11-13 15:02:56.000000000 +0100
+++ gimplify.c        2008-11-14 09:50:53.000000000 +0100
@@ -7566,6 +7566,10 @@ gimple_regimplify_operands (gimple stmt,
       break;
     }

+  if (gimple_referenced_vars (cfun))
+    for (t = gimplify_ctxp->temps; t ; t = TREE_CHAIN (t))
+      add_referenced_var (t);
+
   if (!gimple_seq_empty_p (pre))
     {
       if (gimple_in_ssa_p (cfun))
@@ -7580,10 +7584,6 @@ gimple_regimplify_operands (gimple stmt,
   if (post_stmt)
     gsi_insert_after (gsi_p, post_stmt, GSI_NEW_STMT);

-  if (gimple_referenced_vars (cfun))
-    for (t = gimplify_ctxp->temps; t ; t = TREE_CHAIN (t))
-      add_referenced_var (t);
-
   pop_gimplify_context (NULL);
 }


By marking all new vars as referenced in gimplify_regimplify_operands before
mark_symbols_for_renaming get_var_ann is called before update_stmt and var_ann
in it.


-- 


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

[Bug tree-optimization/38104] [4.4 Regression] ICE segmentation fault (with -O3 when deref a NULL pointer in the code??)

[jakub at gcc dot gnu dot org]

-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jakub at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2008-11-13 19:11:16         |2008-11-14 12:23:50
               date|                            |


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

[Bug tree-optimization/38104] [4.4 Regression] ICE segmentation fault (with -O3 when deref a NULL pointer in the code??)

[jakub at gcc dot gnu dot org]

------- Comment #3 from jakub at gcc dot gnu dot org  2008-11-14 12:27 -------
Subject: Bug 38104

Author: jakub
Date: Fri Nov 14 12:26:05 2008
New Revision: 141857

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=141857
Log:
        PR tree-optimization/38104
        * gimplify.c (gimple_regimplify_operands): Add referenced vars
        before calling mark_symbols_for_renaming, not after it.

        * g++.dg/tree-ssa/pr38104.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/tree-ssa/pr38104.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimplify.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug tree-optimization/38104] [4.4 Regression] ICE segmentation fault (with -O3 when deref a NULL pointer in the code??)

[jakub at gcc dot gnu dot org]

------- Comment #4 from jakub at gcc dot gnu dot org  2008-11-14 12:29 -------
Fixed.


-- 

jakub at gcc dot gnu dot org changed:

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


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