aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear/builtin_unreachable0.c
AgeCommit message (Expand)AuthorFilesLines
2020-03-20teach sparse to linearize __builtin_unreachable()Luc Van Oostenryck1-1/+0
2020-03-20add testcases for OP_UNREACHLuc Van Oostenryck1-0/+28