]> git.ipfire.org Git - thirdparty/gcc.git/commit
tree-cfg: check placement of returns_twice calls
authorAlexander Monakov <amonakov@ispras.ru>
Fri, 14 Jan 2022 18:05:12 +0000 (21:05 +0300)
committerAlexander Monakov <amonakov@ispras.ru>
Tue, 19 Jul 2022 14:16:17 +0000 (17:16 +0300)
commit7a158a5776f5ca95a318fcae0ca2dfefb0789538
tree33e56c811962726550398a53187fb45b8d54dd12
parent26cea5f108e0facdb080e385000bb141b086845f
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.
gcc/tree-cfg.cc