Lines Matching defs:BT
21 mutable std::unique_ptr<BugType> BT;
97 if (!BT)
98 BT.reset(new BugType(this, "Checking analyzer assumptions", "debug"));
100 BugReport *R = new BugReport(*BT, getArgumentValueString(CE, C), N);
108 if (!BT)
109 BT.reset(new BugType(this, "Checking analyzer assumptions", "debug"));
111 BugReport *R = new BugReport(*BT, "REACHABLE", N);
128 if (!BT)
129 BT.reset(new BugType(this, "Checking analyzer assumptions", "debug"));
131 BugReport *R = new BugReport(*BT, getArgumentValueString(CE, C), N);
