From: Jakub Jelinek <jakub@redhat.com>
Date: Fri, 11 Oct 2013 12:45:41 +0000 (+0200)
Subject: tree-vrp.c (infer_nonnull_range): Use is_gimple_call, ignore internal calls.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d89124ed12480228fa80c29bc2e4d53d7288a672;p=gcc.git

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 970aa1ff431..12753c600a6 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 4cd2f2a5123..8b6b91d2183 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);