diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2020-10-08 11:10:34 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@redhat.com> | 2020-10-08 11:10:34 +0200 |
| commit | 273b30c8e93f043f65a04e0ff2ec305b311e98fa (patch) | |
| tree | 06fd92384b1ed204c0e4c7a6a5c69714f016422d /gcc/tree-cfg.c | |
| parent | 7345ef6c2a197d0a2581c67838b7ba1650dfad30 (diff) | |
| download | gcc-273b30c8e93f043f65a04e0ff2ec305b311e98fa.zip gcc-273b30c8e93f043f65a04e0ff2ec305b311e98fa.tar.gz gcc-273b30c8e93f043f65a04e0ff2ec305b311e98fa.tar.bz2 | |
openmp: Set cfun->calls_alloca when needed in OpenMP outlined regions [PR97294]
The following testcase FAILs, because we don't mark the child OpenMP function
as cfun->calls_alloca when it does call alloca. When optimizing, during DCE we
reset those flags and recompute them again, but with -O0 DCE is not performed.
Fixed by calling notice_special_calls when moving insns to the child function.
cfun->calls_alloca is normally set during gimplification and most of the
alloca calls omp-low.c does go through the gimplifier, but one spot didn't
and built the gcall directly, so that one needs to set calls_alloca too.
2020-10-08 Jakub Jelinek <jakub@redhat.com>
PR sanitizer/97294
* tree-cfg.c (move_block_to_fn): Call notice_special_calls on
call stmts being moved into dest_cfun.
* omp-low.c (lower_rec_input_clauses): Set cfun->calls_alloca when
adding __builtin_alloca_with_align call without gimplification.
* gcc.dg/asan/pr97294.c: New test.
Diffstat (limited to 'gcc/tree-cfg.c')
| -rw-r--r-- | gcc/tree-cfg.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index 4064417..5caf3b6 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -7220,6 +7220,8 @@ move_block_to_fn (struct function *dest_cfun, basic_block bb, free_stmt_operands (cfun, stmt); push_cfun (dest_cfun); update_stmt (stmt); + if (is_gimple_call (stmt)) + notice_special_calls (as_a <gcall *> (stmt)); pop_cfun (); } |