check.lcl

check.lcl

falseexit void check (bool x) { modifies nothing; }

Return LCLint Home Page David Evans
University of Virginia, Computer Science
evans@cs.virginia.edu