1// re2c $INPUT -o $OUTPUT -i --tags
2// This test revealed a bug in liveness analyses that takes place
3// during tag deduplication: in loops, live tags added by non-looping
4// child paths failed to propagate into looping paths.
5
6// These two cases differ: in one case looping transition goes first (and tags are lost),
7// in the other case non-looping transition goes first (and tags are not lost).
8
9/*!re2c
10    (@p "ac")* "b" { p }
11    * {}
12*/
13
14/*!re2c
15    (@p "bc")* "a" { p }
16    * {}
17*/
18