source: CIVL/mods/dev.civl.abc/examples/c/pointsToAnalysis/structFields.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: 217 bytes
Line 
1struct T {
2 int a;
3 int b;
4 struct H {
5 int c;
6 int d;
7 } h;
8};
9
10int main() {
11 struct T t;
12 int * p, * p2, * p3, * p4;
13 void * p5;
14
15 p = &t.a;
16 p2 = &t.b;
17 p3 = &t.h.c;
18 p4 = &t.h.d;
19 p5 = &t.h;
20}
Note: See TracBrowser for help on using the repository browser.