Context Navigation

union2.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

File size: 170 bytes

Rev	Line
[aad342c]	1	struct _S {
	2	int val;
	3	} s1;
	4
	5	union _U {
	6	struct _S s1;
	7	} u1;
	8
	9	int main(){
	10	u1.s1.val = 1;
	11	}
	12
	13	// Dupicated 's1' in line 3 and line 6
	14	// cause a null pointer exception

Note: See TracBrowser for help on using the repository browser.