source: CIVL/examples/languageFeatures/pointerAdd1.cvl@ 7df76b5

1.23 2.0 main test-branch
Last change on this file since 7df76b5 was 7df76b5, checked in by Manchun Zheng <zmanchun@…>, 11 years ago

added a test for pointer addition like &x+1 where x is an integer variable

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@2136 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 44 bytes
RevLine 
[7df76b5]1int main(){
2 int x = 9;
3 int *p = &x+1;
4}
Note: See TracBrowser for help on using the repository browser.