Add --debugi-<srcfile> option.

This commit is contained in:
Wilson Snyder
2009-01-21 16:56:50 -05:00
parent 057928b079
commit 21b5a4e9e4
65 changed files with 458 additions and 118 deletions
+6 -1
View File
@@ -54,9 +54,14 @@ private:
V3Double0 m_statSigs; // Statistic tracking
V3Double0 m_statIgnSigs; // Statistic tracking
//int debug() { return 9; }
// METHODS
static int debug() {
static int level = -1;
if (VL_UNLIKELY(level < 0)) level = v3Global.opt.debugSrcLevel(__FILE__);
return level;
}
const char* varIgnoreTrace(AstVar* nodep) {
// Return true if this shouldn't be traced
// See also similar rule in V3Coverage::varIgnoreToggle