diff options
| -rw-r--r-- | validation/context.c | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/validation/context.c b/validation/context.c index f877ec21..4b15e757 100644 --- a/validation/context.c +++ b/validation/context.c @@ -314,3 +314,23 @@ static void warn_cond_lock1(void) condition2 = 1; /* do stuff */ r(); } +/* + * check-name: Check -Wcontext + * + * check-error-start +context.c:69:13: warning: context imbalance in 'warn_lock1' - wrong count at exit +context.c:74:13: warning: context imbalance in 'warn_lock2' - wrong count at exit +context.c:81:13: warning: context imbalance in 'warn_lock3' - wrong count at exit +context.c:88:13: warning: context imbalance in 'warn_unlock1' - unexpected unlock +context.c:93:13: warning: context imbalance in 'warn_unlock2' - unexpected unlock +context.c:131:12: warning: context imbalance in 'warn_if1' - wrong count at exit +context.c:140:12: warning: context imbalance in 'warn_if2' - different lock contexts for basic block +context.c:202:2: warning: context imbalance in 'warn_while1' - different lock contexts for basic block +context.c:210:3: warning: context imbalance in 'warn_while2' - unexpected unlock +context.c:216:2: warning: context imbalance in 'warn_while3' - wrong count at exit +context.c:274:13: warning: context imbalance in 'warn_goto1' - wrong count at exit +context.c:283:13: warning: context imbalance in 'warn_goto2' - wrong count at exit +context.c:300:5: warning: context imbalance in 'warn_goto3' - different lock contexts for basic block +context.c:315:5: warning: context imbalance in 'warn_cond_lock1' - different lock contexts for basic block + * check-error-end + */ |