Transactional passes do not set cfun->calls_setjmp to true and do not fix CFG accordingly after adding __builtin__ITM_beginTransaction call having ECF_RETURNS_TWICE flag set.
It leads to inconsistency which may be revealed with special calls flags recomputation.
If I add DCE pass after transactional memory then flags are recomputed and CFG check fails because of call statements in the middle of basic block. Thus DCE pass after transactional memory causes ~250 new fails in 'make check'.
Tried on 'gcc version 4.9.0 20130422 (experimental) (GCC)'
I think the TM code was taking care of edges so far, so either this TM shouldn't be handled as ECF_RETURNS_TWICE for the purposes of the ab edge creation code added recently by Richard, or we should handle it like any other returns_twice.
I think we should handle it like any other returns-twice, that is, TM should
split the block properly (and either call notice_special_calls or set ->calls_setjmp). TM can still handle edge creation itself because it knows
where abnormal transfer can originate from.