diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-05-26 18:20:04 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-05-26 18:35:46 +0200 |
| commit | bfa07811d74a583c2bcefb47162601b997843cdc (patch) | |
| tree | c21e8c49f2ef3ca18f7b4140e8a91f3f0d21795b /validation/preprocessor | |
| parent | 8efcdf62178fd8cb97d1626443dcf560c1d895b8 (diff) | |
| download | sparse-dev-bfa07811d74a583c2bcefb47162601b997843cdc.tar.gz | |
label: avoid multiple definitions
If a label is defined several times, an error is issued about it.
Nevertheless, the label is used as is and once the code is linearized
several BB are created for the same label and this create
inconsistencies. For example, some code will trigger assertion failures
in rewrite_parent_branch().
Avoid the consistencies by ignoring redefined labels.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/preprocessor')
0 files changed, 0 insertions, 0 deletions