diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 970aa1ff4316..12753c600a69 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2013-10-11  Jakub Jelinek  <jakub@redhat.com>
+
+	* tree-vrp.c (infer_nonnull_range): Use is_gimple_call,
+	ignore internal calls.
+
 2013-10-11  Richard Biener  <rguenther@suse.de>
 
 	* tree-pretty-print.c (dump_generic_node): Allow to dump
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index 4cd2f2a5123e..8b6b91d21834 100644
--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -4484,7 +4484,7 @@ infer_nonnull_range (gimple stmt, tree op)
   if (num_loads + num_stores > 0)
     return true;
 
-  if (gimple_code (stmt) == GIMPLE_CALL)
+  if (is_gimple_call (stmt) && !gimple_call_internal_p (stmt))
     {
       tree fntype = gimple_call_fntype (stmt);
       tree attrs = TYPE_ATTRIBUTES (fntype);