aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2019-09-03 14:44:00 +0200
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2019-09-28 19:02:47 +0200
commit5d0c4d96bdf4ab5df4ef0e31ab433e605299aabd (patch)
tree02c39e0cba933891c8ffcc7d296ac34756fa77b8 /validation
parentad1e7dc055a1a177ca79c72de3c8c87594abba6c (diff)
downloadsparse-dev-5d0c4d96bdf4ab5df4ef0e31ab433e605299aabd.tar.gz
asm: arrays & functions in non-memory operand degenerate into pointers
Non-memory asm operands are very much like function's arguments. As such, any array (or function designator) used as an asm operand need to degenerate into the corresponding pointer. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
-rw-r--r--validation/eval/asm-degen.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/validation/eval/asm-degen.c b/validation/eval/asm-degen.c
index 5f319159..7bbed925 100644
--- a/validation/eval/asm-degen.c
+++ b/validation/eval/asm-degen.c
@@ -29,7 +29,6 @@ static void qux(void)
/*
* check-name: asm-degen
- * check-known-to-fail
*
* check-error-start
eval/asm-degen.c:12:24: warning: dereference of noderef expression