- processGraph(g, rVar, countVar, be, stDummy, exDummy, numPaths);
- /*
- //get the paths
- static std::ofstream to("paths.sizes");
- static std::ofstream bbs("paths.look");
- assert(to && "Cannot open file\n");
- assert(bbs && "Cannot open file\n");
- for(int i=0;i<numPaths; ++i){
- std::vector<BasicBlock *> vBB;
-
- getBBtrace(vBB, i, M);
- //get total size of vector
- int size=0;
- bbs<<"Meth:"<<mn<<" Path:"<<i<<"\n-------------\n";
- for(vector<BasicBlock *>::iterator VBI=vBB.begin(); VBI!=vBB.end();
- ++VBI){
- BasicBlock *BB=*VBI;
- size+=BB->size();
- if(BB==M->front())
- size-=numPaths;
- bbs<<BB->getName()<<"->";
- }
- bbs<<"\n--------------\n";
- to<<"::::: "<<mn<<" "<<i<<" "<<size<<"\n";
- }
- */
- //}
-
+ processGraph(g, rVar, countVar, be, stDummy, exDummy, numPaths, mn);
+