diff options
| author | Richard Biener <rguenther@suse.de> | 2014-04-07 08:38:23 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2014-04-07 08:38:23 +0000 |
| commit | 308173e30bff3cb179f75fdf4b96310482dc6846 (patch) | |
| tree | c873482c24ce3a1ea1806d1b868c0d6d7ce57885 /gcc/tree-ssa-operands.c | |
| parent | f2e9b72b1a987adc31f0c0f56c7e2610de60fc43 (diff) | |
| download | gcc-308173e30bff3cb179f75fdf4b96310482dc6846.zip gcc-308173e30bff3cb179f75fdf4b96310482dc6846.tar.gz gcc-308173e30bff3cb179f75fdf4b96310482dc6846.tar.bz2 | |
re PR c++/60750 (double free after std::move on string inside throw when compiled with optimization)
2014-04-07 Richard Biener <rguenther@suse.de>
PR middle-end/60750
* tree-ssa-operands.c (maybe_add_call_vops): Also add VDEFs
for noreturn calls.
* tree-cfgcleanup.c (fixup_noreturn_call): Do not remove VDEFs.
* g++.dg/torture/pr60750.C: New testcase.
* gcc.dg/tree-ssa/20040517-1.c: Adjust.
From-SVN: r209179
Diffstat (limited to 'gcc/tree-ssa-operands.c')
| -rw-r--r-- | gcc/tree-ssa-operands.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/gcc/tree-ssa-operands.c b/gcc/tree-ssa-operands.c index 352ccca4..c525fe5 100644 --- a/gcc/tree-ssa-operands.c +++ b/gcc/tree-ssa-operands.c @@ -648,10 +648,8 @@ maybe_add_call_vops (struct function *fn, gimple stmt) call-clobbered. */ if (!(call_flags & ECF_NOVOPS)) { - /* A 'pure' or a 'const' function never call-clobbers anything. - A 'noreturn' function might, but since we don't return anyway - there is no point in recording that. */ - if (!(call_flags & (ECF_PURE | ECF_CONST | ECF_NORETURN))) + /* A 'pure' or a 'const' function never call-clobbers anything. */ + if (!(call_flags & (ECF_PURE | ECF_CONST))) add_virtual_operand (fn, stmt, opf_def); else if (!(call_flags & ECF_CONST)) add_virtual_operand (fn, stmt, opf_use); |