diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2013-10-11 14:45:41 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2013-10-11 14:45:41 +0200 |
| commit | d89124ed12480228fa80c29bc2e4d53d7288a672 (patch) | |
| tree | fb56ae46a384df10feaa8edda66555fef7a588ee /gcc | |
| parent | e6ad28c36884f4d68bfcca4169bad84921f21789 (diff) | |
| download | gcc-d89124ed12480228fa80c29bc2e4d53d7288a672.zip gcc-d89124ed12480228fa80c29bc2e4d53d7288a672.tar.gz gcc-d89124ed12480228fa80c29bc2e4d53d7288a672.tar.bz2 | |
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/tree-vrp.c | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 970aa1f..12753c6 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 4cd2f2a..8b6b91d 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); |