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