diff options
| author | olga <olga@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-01-25 07:47:46 +0000 |
|---|---|---|
| committer | olga <olga@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-01-25 07:47:46 +0000 |
| commit | 864a494e7efef89efa47da8ab2b78e66f1d36f65 (patch) | |
| tree | d3c9cde07c40b673e814d8f4f23f375584e48be9 /gcc/ipa-struct-reorg.c | |
| parent | 6a5edfd90cec9da33c11c84ba7e58717e940e49a (diff) | |
| download | ppe42-gcc-864a494e7efef89efa47da8ab2b78e66f1d36f65.tar.gz ppe42-gcc-864a494e7efef89efa47da8ab2b78e66f1d36f65.zip | |
2008-01-25 Golovanevsky Olga <olga@il.ibm.com>
* ipa-struct-reorg.c (is_safe_cond_expr,
create_new_stmts_for_cond_expr): Use integer_zerop function,
that recognize not only zero-pointer, but zero-integer too.
2008-01-24 Olga Golovanevsky <olga@il.ibm.com>
* gcc.dg/struct/wo_prof_malloc_size_var.c: UnXFAIL.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@131817 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ipa-struct-reorg.c')
| -rw-r--r-- | gcc/ipa-struct-reorg.c | 19 |
1 files changed, 13 insertions, 6 deletions
diff --git a/gcc/ipa-struct-reorg.c b/gcc/ipa-struct-reorg.c index 04948a33c09..9786db47a36 100644 --- a/gcc/ipa-struct-reorg.c +++ b/gcc/ipa-struct-reorg.c @@ -1251,12 +1251,15 @@ create_new_stmts_for_cond_expr (tree stmt) s0 = (str0 != length) ? true : false; s1 = (str1 != length) ? true : false; - gcc_assert ((!s0 && s1) || (!s1 && s0)); + gcc_assert (s0 || s1); + /* For now we allow only comparison with 0 or NULL. */ + gcc_assert (integer_zerop (arg0) || integer_zerop (arg1)); - str = s0 ? VEC_index (structure, structures, str0): - VEC_index (structure, structures, str1); - arg = s0 ? arg0 : arg1; - pos = s0 ? 0 : 1; + str = integer_zerop (arg0) ? + VEC_index (structure, structures, str1): + VEC_index (structure, structures, str0); + arg = integer_zerop (arg0) ? arg1 : arg0; + pos = integer_zerop (arg0) ? 1 : 0; for (i = 0; VEC_iterate (tree, str->new_types, i, type); i++) { @@ -2388,8 +2391,12 @@ is_safe_cond_expr (tree cond_stmt) s0 = (str0 != length) ? true : false; s1 = (str1 != length) ? true : false; + + if (!s0 && !s1) + return false; - if (!((!s0 && s1) || (!s1 && s0))) + /* For now we allow only comparison with 0 or NULL. */ + if (!integer_zerop (arg0) && !integer_zerop (arg1)) return false; return true; |
