------- 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