source: CIVL/examples/analysis/unreached.c@ cc9073d

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

added Makefile for analysis examples; improved the coverage of abs call analyzer.

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

  • Property mode set to 100644
File size: 173 bytes
Line 
1#define MAX(a,b) (((a)>=(b))?(a):(b))
2
3void main(){
4 int a=0;
5
6 a = MAX(a, 1);
7 a = a < 5 ? 10 : 100;
8 if(a>0){
9 a=1;
10 }else{
11 a=2;
12 }
13}
Note: See TracBrowser for help on using the repository browser.