typedef int lock_t; lock_t lock; int main(void) { lock = ($unlocked lock_t) 0; lock; lock = ($locked lock_t) 1; lock; lock = ($unlocked lock_t) 0; lock; }
CQual - A tool for adding type qualifiers to C
README linux-lock.c linux-lock.i linux-lock2.c linux-lock2.i lock.c lock2.c lock3.c rcs1.c rcs2.c rcs3.c taint-cast.c taint-const-subtyping.c taint-poly.c taint-varargs.c taint0.c taint1.c taint2.c user0.c user1.c y2k1.c y2k2.c y2k3.c y2k4.c