diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-08-03 18:27:07 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-08-06 08:50:40 +0200 |
| commit | c47f18c7699d0a9fbb8b8adbd2c3bf177214beb4 (patch) | |
| tree | a15756642eb5d11ee8614a7fba771450600326cd /validation/loop-linearization.c | |
| parent | 3334fa789234c05da18b9e0e284bc04e5ef6b39b (diff) | |
| download | sparse-dev-c47f18c7699d0a9fbb8b8adbd2c3bf177214beb4.tar.gz | |
expand linearize_conditional() into linearize_logical()
linearize_logical() call linearize_conditional() but needs additional
tests there and generate code more complicated than needed.
Change this by expanding the call to linearize_conditional() and make
the obvious simplification concerning the shortcut expressions 0 & 1.
Also, removes the logical-specific parts in linearize_conditional(),
since there are now unneeded.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/loop-linearization.c')
0 files changed, 0 insertions, 0 deletions