diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-07-31 09:20:30 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-08-06 08:50:40 +0200 |
| commit | 875235a6801d1c5a9ccc9c265fe45a8f6a0f87c0 (patch) | |
| tree | f497eab29c98eb6e0251a136558aee3f8ca2ed05 /validation/linear/call-complex-pointer.c | |
| parent | 2de1601e3e8e239634acc0696393c3e96722b3fc (diff) | |
| download | sparse-dev-875235a6801d1c5a9ccc9c265fe45a8f6a0f87c0.tar.gz | |
conditional branches can't accept arbitrary expressions
Conditional branches, or more exactly OP_CBR, can't accept
arbitrary expression as condition. it is required to have
an integer value.
Fix this by adding a comparison against zero.
Diffstat (limited to 'validation/linear/call-complex-pointer.c')
| -rw-r--r-- | validation/linear/call-complex-pointer.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/validation/linear/call-complex-pointer.c b/validation/linear/call-complex-pointer.c index ea8232f1..dc0ab07b 100644 --- a/validation/linear/call-complex-pointer.c +++ b/validation/linear/call-complex-pointer.c @@ -18,14 +18,14 @@ foo: br .L4 .L3: - ptrcast.64 %r5 <- (64) %arg3 - phisrc.64 %phi2 <- %r5 + ptrcast.64 %r6 <- (64) %arg3 + phisrc.64 %phi2 <- %r6 br .L4 .L4: - phi.64 %r6 <- %phi1, %phi2 - call.32 %r7 <- %r6, %arg4 - ret.32 %r7 + phi.64 %r7 <- %phi1, %phi2 + call.32 %r8 <- %r7, %arg4 + ret.32 %r8 * check-output-end |