diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-02-07 21:50:28 +0100 |
|---|---|---|
| committer | Christopher Li <sparse@chrisli.org> | 2017-02-13 09:34:46 +0800 |
| commit | 65aba1978c7585c36fdd6b3bd2d50974bac91a92 (patch) | |
| tree | b37a6703acdecba74d1323ea7e7feb2c9a1c67af /linearize.h | |
| parent | f4615a44a2ab133b90a9c9eb9bc7861fa66dfa46 (diff) | |
| download | sparse-dev-65aba1978c7585c36fdd6b3bd2d50974bac91a92.tar.gz | |
simplify '(x % 1)' into '0'
For completeness, add the dual simplification 'x * 1 => x'
for modulo: 'x % 1 => 0'.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
Diffstat (limited to 'linearize.h')
0 files changed, 0 insertions, 0 deletions