diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-04-27 02:46:46 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-05-21 17:27:45 +0200 |
| commit | c5421b0d1ab0ab2d182ee1c1efbbc20f24275242 (patch) | |
| tree | 3b292c82d8430600ab1e45c6e7ff0c6609e0c6ac /validation/linear | |
| parent | 25216452d77c39fcb258ff96d44f4f8d55bbda43 (diff) | |
| download | sparse-dev-c5421b0d1ab0ab2d182ee1c1efbbc20f24275242.tar.gz | |
bad-goto: extract check_label_declaration()
Extract this helper from evaluate_goto_statement().
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/linear')
0 files changed, 0 insertions, 0 deletions