source: CIVL/mods/dev.civl.abc/examples/side-effects/out_stmtExpression.c

main
Last change on this file was aad342c, checked in by Stephen Siegel <siegel@…>, 3 years ago

Performing huge refactor to incorporate ABC, GMC, and SARL into CIVL repo and use Java modules.

git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@5664 fb995dde-84ed-4084-dfe6-e5aef3e2452c

  • Property mode set to 100644
File size: 264 bytes
Line 
1//==================== stmtExpression.c ====================
2int foo()
3{
4 return 1;
5}
6int main()
7{
8 int $sef$0;
9 {
10 {
11 int y = foo();
12 int z;
13 if(y > 0)
14 z = y;
15 else
16 z = -y;
17 $sef$0 = z;
18 }
19 }
20 int a = $sef$0;
21}
Note: See TracBrowser for help on using the repository browser.