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 /optimize.c | |
| 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 'optimize.c')
0 files changed, 0 insertions, 0 deletions