diff options
| author | Richard Guenther <rguenther@suse.de> | 2010-02-09 16:11:34 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2010-02-09 16:11:34 +0000 |
| commit | 72d182d3d2cbfdf653bf6a9d34172f78420802ef (patch) | |
| tree | 83417e0e999cd8f444c9c95b4974a4204f9c26c2 /gcc/tree-ssa-structalias.c | |
| parent | 44e7145eb93d53a103935c36fd5fab37d33e2965 (diff) | |
| download | gcc-72d182d3d2cbfdf653bf6a9d34172f78420802ef.zip gcc-72d182d3d2cbfdf653bf6a9d34172f78420802ef.tar.gz gcc-72d182d3d2cbfdf653bf6a9d34172f78420802ef.tar.bz2 | |
re PR tree-optimization/43008 (Attribute malloc not handled correctly)
2010-02-09 Richard Guenther <rguenther@suse.de>
PR tree-optimization/43008
* tree-ssa-structalias.c (handle_lhs_call): Pass in the fndecl,
make HEAP variables initialized from global memory if they
are not known builtin functions.
(find_func_aliases): Adjust.
* gcc.c-torture/execute/pr43008.c: New testcase.
From-SVN: r156628
Diffstat (limited to 'gcc/tree-ssa-structalias.c')
| -rw-r--r-- | gcc/tree-ssa-structalias.c | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c index 3db2874..5138e72 100644 --- a/gcc/tree-ssa-structalias.c +++ b/gcc/tree-ssa-structalias.c @@ -3482,7 +3482,7 @@ handle_rhs_call (gimple stmt, VEC(ce_s, heap) **results) the LHS point to global and escaped variables. */ static void -handle_lhs_call (tree lhs, int flags, VEC(ce_s, heap) *rhsc) +handle_lhs_call (tree lhs, int flags, VEC(ce_s, heap) *rhsc, tree fndecl) { VEC(ce_s, heap) *lhsc = NULL; @@ -3496,6 +3496,12 @@ handle_lhs_call (tree lhs, int flags, VEC(ce_s, heap) *rhsc) it escapes. */ DECL_EXTERNAL (vi->decl) = 0; vi->is_global_var = 0; + /* If this is not a real malloc call assume the memory was + initialized and thus may point to global memory. All + builtin functions with the malloc attribute behave in a sane way. */ + if (!fndecl + || DECL_BUILT_IN_CLASS (fndecl) != BUILT_IN_NORMAL) + make_constraint_from (vi, nonlocal_id); } else if (VEC_length (ce_s, rhsc) > 0) { @@ -3798,7 +3804,7 @@ find_func_aliases (gimple origt) handle_rhs_call (t, &rhsc); if (gimple_call_lhs (t) && could_have_pointers (gimple_call_lhs (t))) - handle_lhs_call (gimple_call_lhs (t), flags, rhsc); + handle_lhs_call (gimple_call_lhs (t), flags, rhsc, fndecl); VEC_free (ce_s, heap, rhsc); } else |