Commit d0e23d58 authored by Mishigan's avatar Mishigan Committed by Julien Balette-Pape

c debug

parent 34bfbcb7
......@@ -44,7 +44,7 @@ bool ExistHitPrevDomain::equals(const t& acss, const t& bcss) const
Address smol[] = {access.address()};
acss[i] = std::set<otawa::Address *, Ptr_addr_comparator>();
acss[i].insert(smol);
} else if (mayManager.mayAge(_coll[_set][i]) == _A)
} else if (ehManager.existHitAge(_coll[_set][i]) == _A)
acss[i] = std::set<otawa::Address *, Ptr_addr_comparator>();
}
}
......
......@@ -6,6 +6,8 @@
#include <otawa/proc/BBProcessor.h>
#include <otawa/prog/Process.h>
#include <lruexact/features.h>
#include <set>
#include<iterator>
//#include "SecCFGOutput.h"
using namespace otawa;
......@@ -111,8 +113,14 @@ protected:
ACSSecurity prev = (*EXIST_HIT_PREV_IN(bb))[set];
int index = otawa::icat3::LBLOCK(access)->index();
number = prev[index].size();
for (int i = 0; i < number; i++)
_out << prev[index][i] << "\n\t\t\t\t\b";
std::set<otawa::Address *, Ptr_addr_comparator>::iterator iter = prev[index].begin();
int debug = 1;
while (iter != prev[index].end()){
_out << *(*iter) << "\n\t\t\t\t\b";
iter++;
_out << debug;
debug++;
}
// REMONTEE
_out << "\033[" << number << "A";
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment