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

Last change on this file since 1914 was 1914, checked in by campbell, 9 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.