diff options
author | Ian Lance Taylor <iant@google.com> | 2008-07-24 04:51:12 +0000 |
---|---|---|
committer | Ian Lance Taylor <ian@gcc.gnu.org> | 2008-07-24 04:51:12 +0000 |
commit | 11522353fe7d3490ecf2877879bd2978b2277926 (patch) | |
tree | e15d5bf5c67194c4fee0af6c55638ec97a3044e8 /gcc/tree-vrp.c | |
parent | e816b6b586db405da98b97e1940c595bb5ee1ffa (diff) | |
download | gcc-11522353fe7d3490ecf2877879bd2978b2277926.zip gcc-11522353fe7d3490ecf2877879bd2978b2277926.tar.gz gcc-11522353fe7d3490ecf2877879bd2978b2277926.tar.bz2 |
tree-vrp.c (infer_value_range): Ignore asm statements when looking for memory accesses for...
./: * tree-vrp.c (infer_value_range): Ignore asm statements when
looking for memory accesses for -fdelete-null-pointer-checks.
testsuite/:
* gcc.target/i386/20080723-1.c: New test.
From-SVN: r138107
Diffstat (limited to 'gcc/tree-vrp.c')
-rw-r--r-- | gcc/tree-vrp.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 404531f..62f3147 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -3456,7 +3456,9 @@ infer_value_range (tree stmt, tree op, enum tree_code *comp_code_p, tree *val_p) /* We can only assume that a pointer dereference will yield non-NULL if -fdelete-null-pointer-checks is enabled. */ - if (flag_delete_null_pointer_checks && POINTER_TYPE_P (TREE_TYPE (op))) + if (flag_delete_null_pointer_checks + && POINTER_TYPE_P (TREE_TYPE (op)) + && TREE_CODE (stmt) != ASM_EXPR) { unsigned num_uses, num_loads, num_stores; |