//#include <stdio.h> | |
/** function that shows a short edge in a CFG */ | |
void edge(int a) { | |
int x,y; | |
if(a>0) | |
x=0; // the then case | |
else | |
x=1; // the else case | |
// use resultant value of x | |
/* partLine comment */ y=x; | |
} | |
/** the ever-present foo function */ | |
int foo(int bar){ | |
int z = bar; | |
return z; | |
} |