aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation
diff options
authorJosh Triplett <josh@freedesktop.org>2007-05-01 22:36:47 -0700
committerJosh Triplett <josh@freedesktop.org>2007-05-01 22:36:47 -0700
commit6b595d01c196bb013d6d95fc297ae2cb07c1fce7 (patch)
treea9a1b10b65c24c649a1cfc103d8ee86246ae2832 /validation
parent0fcbcbf4cf2e41fcfcd3361a8698d887f73058d0 (diff)
downloadsparse-dev-6b595d01c196bb013d6d95fc297ae2cb07c1fce7.tar.gz
Parse asm after a label as a statement, not an attribute
Commit aec53c938c34c47cdbdd6824552e0f2a5104b1cb, "handle label attributes", caused sparse to parse asm after a label as an attribute, not a statement. Fix this by adding a new allow_asm flag to handle_attributes, and passing 0 when parsing label attributes. Expand validation/asm-volatile.c to include the test case that demonstrated this bug. Thanks to Randy Dunlap for reporting the problem. Signed-off-by: Josh Triplett <josh@freedesktop.org>
Diffstat (limited to 'validation')
-rw-r--r--validation/asm-volatile.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/validation/asm-volatile.c b/validation/asm-volatile.c
index b6c61143..cb44040f 100644
--- a/validation/asm-volatile.c
+++ b/validation/asm-volatile.c
@@ -3,4 +3,6 @@
static void f(void)
{
barrier();
+l:
+ barrier();
}