diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2021-07-09 22:13:33 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2021-07-29 23:15:31 +0200 |
| commit | 72d04aab864fa7b847a201ebfd229ce4842386e7 (patch) | |
| tree | fe210a92953544a8de038200a47169c463bad93e /linearize.h | |
| parent | 732bc04e6123bd742cc569c2b06ba23fbcae3898 (diff) | |
| download | sparse-dev-72d04aab864fa7b847a201ebfd229ce4842386e7.tar.gz | |
scheck: fix type of operands in casts
Casts were using the target type for their operands.
Fix this by using the new helper mkivar() for them.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'linearize.h')
0 files changed, 0 insertions, 0 deletions