source: CIVL/mods/dev.civl.abc/examples/side-effects/out_comma.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: 198 bytes
RevLine 
[aad342c]1int* f()
2{
3 return (void*)0;
4}
5int main()
6{
7 int* p;
8 int a[10];
9 *&p = f();
10 &a[11];
11 int* $sef$0 = f();
12 *p = *$sef$0;
13 5 / 0;
14 *p = 1;
15 a[1] = 1;
16 a[2] = 2;
17 a[3] = 3;
18 a[4] = 4;
19}
Note: See TracBrowser for help on using the repository browser.