static void lock(void) __attribute__((context(0,1))) { __context__(1); } static void unlock(void) __attribute__((context(1,0))) { __context__(-1); } extern int cond, cond2; static void foo (void) { } static void warn_cifs(void) { again: if (cond) { return; } if (cond) { int x; x = cond2; while (cond) { if (cond) { goto read_rfc1002_done; } if (cond) { x--; if (!x) lock(); foo(); if (!x) unlock(); } else foo(); } lock(); foo(); unlock(); read_rfc1002_done: return; } if (cond) return; goto again; } /* * check-name: Check -Wcontext bis * * check-error-start * check-error-end */