aboutsummaryrefslogtreecommitdiffhomepage
path: root/errortest/mainapp/return.slul
AgeCommit message (Expand)AuthorFilesLines
2022-10-29Basic checking of switch/caseSamuel Lidén Borell1-0/+94
2022-10-29Fix reachablility check after else-ifs and blocksSamuel Lidén Borell1-0/+42
2022-10-16Basic checking of integer typesSamuel Lidén Borell1-1/+1
2022-08-05Checking of variable definedness after goto. Fix definedness check of if/elseSamuel Lidén Borell1-0/+18
2022-08-05Special handling of while true loopsSamuel Lidén Borell1-0/+57
2022-08-04Checking of flow of return/gotoSamuel Lidén Borell1-0/+86