aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2019-01-18 04:07:42 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2019-09-27 02:51:37 +0200
commitaa510823d308bcf27b8dc58ae8f4c13963a0bbcd (patch)
tree6acc0ceeab90e0656edb962799f9c11e30617af0 /validation
parent4bee9b6dcb6dfcc2799d29ff7e5d42c6637b1f4d (diff)
downloadsparse-dev-aa510823d308bcf27b8dc58ae8f4c13963a0bbcd.tar.gz
asm: missing evaluation of asm statements
The operands of extended ASM need to have their type evaluated, exactly like any other expression. So, add the missing evaluation of ASM operands. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
-rw-r--r--validation/eval/asm-memop.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/validation/eval/asm-memop.c b/validation/eval/asm-memop.c
index 9bbb3a30..33ba0e5a 100644
--- a/validation/eval/asm-memop.c
+++ b/validation/eval/asm-memop.c
@@ -9,7 +9,6 @@ void fo3(int *p) { asm volatile ("op %0" :: "m" (*p)); }
/*
* check-name: eval-asm-memop
* check-command: test-linearize -Wno-decl $file
- * check-known-to-fail
*
* check-output-start
fo0: