diff options
| author | Alexander Monakov <amonakov@ispras.ru> | 2022-01-14 21:05:12 +0300 |
|---|---|---|
| committer | Alexander Monakov <amonakov@ispras.ru> | 2022-07-19 17:16:17 +0300 |
| commit | 7a158a5776f5ca95a318fcae0ca2dfefb0789538 (patch) | |
| tree | 33e56c811962726550398a53187fb45b8d54dd12 /gcc/gimple-range-cache.h | |
| parent | 26cea5f108e0facdb080e385000bb141b086845f (diff) | |
| download | gcc-7a158a5776f5ca95a318fcae0ca2dfefb0789538.zip gcc-7a158a5776f5ca95a318fcae0ca2dfefb0789538.tar.gz gcc-7a158a5776f5ca95a318fcae0ca2dfefb0789538.tar.bz2 | |
tree-cfg: check placement of returns_twice calls
When a returns_twice call has an associated abnormal edge, the edge
corresponds to the "second return" from the call. It wouldn't make sense
if any executable statements appeared between the call and the
destination of the edge (they wouldn't be re-executed upon the "second
return"), so verify that.
gcc/ChangeLog:
* tree-cfg.cc (gimple_verify_flow_info): Check placement of
returns_twice calls.
Diffstat (limited to 'gcc/gimple-range-cache.h')
0 files changed, 0 insertions, 0 deletions