Can gcc provide an interprocedural CFG and dump it to a .vcg format file? I understand gcc provides intraprocedural CFG analysis, and wonder if interprocedural CFG is available. Thanks a lot.
Sean

for example,
//file name: main.c
extern void foo();
int main(){
int i=9;
if (i>0)
  foo();
else
  i++;
return 0;
}

//file name: foo.c
void foo(){
 int i=8;
 while(i>0)
   i--;
}

_________________________________________________________________
Express yourself instantly with MSN Messenger! Download today - it's FREE! http://messenger.msn.click-url.com/go/onm00200471ave/direct/01/

Reply via email to