aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear/label-scope-cgoto.c
AgeCommit message (Collapse)AuthorFilesLines
2020-05-21bad-goto: check declaration of label expressionsLuc Van Oostenryck1-1/+0
Issue an error when taking the address of an undeclared label and mark the function as improper for linearization since the resulting IR would be invalid. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2020-05-21bad-goto: reorganize testcases and add some moreLuc Van Oostenryck1-0/+11
Reorganize the testcases related to the 'scope' of labels and add a few new ones. Also, some related testcases have some unreported errors other than the features being tested. This is a problem since such tescases can still fail after the feature being tested is fixed or implemented. So, fix these testcases or split them so that they each test a unique feature. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>