------- Comment #1 from pinskia at gcc dot gnu dot org  2006-12-02 17:43 -------
Here is the patch which I am testing:
Index: tree-vrp.c
===================================================================
--- tree-vrp.c  (revision 119451)
+++ tree-vrp.c  (working copy)
@@ -102,6 +102,10 @@ nonnull_arg_p (tree arg)

   gcc_assert (TREE_CODE (arg) == PARM_DECL && POINTER_TYPE_P (TREE_TYPE
(arg)));

+  /* The static chain decl is always non null.  */
+  if (arg == cfun->static_chain_decl)
+    return true;
+
   fntype = TREE_TYPE (current_function_decl);
   attrs = lookup_attribute ("nonnull", TYPE_ATTRIBUTES (fntype));


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |pinskia at gcc dot gnu dot
                   |dot org                     |org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-12-02 17:43:10
               date|                            |


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

Reply via email to