/*
** LCLint - annotation-assisted static program checker
-** Copyright (C) 1994-2000 University of Virginia,
+** Copyright (C) 1994-2001 University of Virginia,
** Massachusetts Institute of Technology
**
** This program is free software; you can redistribute it and/or modify it
case FALSEEXITCLAUSE: return (cstring_makeLiteralTemp ("in falseexit"));
}
- BADBRANCH;
+ BADBRANCHRET (cstring_undefined);
}
cstring
case FALSEEXITCLAUSE: return (cstring_makeLiteralTemp ("in falseexit"));
}
- BADBRANCH;
+ BADBRANCHRET (cstring_undefined);
}
cstring clause_nameFlip (clause cl, bool flip)