source: src/Clight/test/goto-if.c @ 2106

Last change on this file since 2106 was 1914, checked in by campbell, 8 years ago

Fix bug in Clight semantics that misses goto-labels inside a cost label
statement.

File size: 74 bytes
Line 
1int main() {
2  goto foo;
3  if (1) { return 1; } else { foo: return 0; }
4}
Note: See TracBrowser for help on using the repository browser.