diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-04-11 12:11:17 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-05-21 17:27:45 +0200 |
| commit | 38e7c70c3074caab4c5aa68c0cee299a71537bee (patch) | |
| tree | 15ca93e589a69e5ce1253ad6641eaca6de5f8f8a /validation | |
| parent | 4e70521d74cb10b795825f7376539ed493dd2ac3 (diff) | |
| download | sparse-dev-38e7c70c3074caab4c5aa68c0cee299a71537bee.tar.gz | |
bad-goto: catch labels with reserved names
If a reserved name is used as the destination of a goto,
its associated label won't be valid and at linearization
time no BB will can be created for it, resulting in an
invalid IR.
So, catch such gotos at evaluation time and mark the
function to not be linearized.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/linear/goto-invalid.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/validation/linear/goto-invalid.c b/validation/linear/goto-invalid.c index 569d0b0d..860b32a4 100644 --- a/validation/linear/goto-invalid.c +++ b/validation/linear/goto-invalid.c @@ -11,7 +11,6 @@ void bar(void) /* * check-name: goto-invalid * check-command: test-linearize -Wno-decl $file - * check-known-to-fail * * check-error-ignore * check-output-ignore |