tree-vrp.c (infer_nonnull_range): Use is_gimple_call, ignore internal calls.

	* tree-vrp.c (infer_nonnull_range): Use is_gimple_call,
	ignore internal calls.

From-SVN: r203427

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 970aa1ff43163295a72bbf2e613627a1d7d1689f..12753c600a69a4d0133bc2a1df6a24b4c4a6886d 100644 (file)
--- 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 4cd2f2a5123e8b0ca07c1f284132fbb534201206..8b6b91d21834a6771d217b88a5e15e6730f4e743 100644 (file)
--- 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);