Lines Matching defs:AMgr

225       AMgr(mgr), AnalysisDeclContexts(mgr.getAnalysisDeclContextManager()),
1003 static bool shouldRemoveDeadBindings(AnalysisManager &AMgr,
1008   if (AMgr.options.AnalysisPurgeOpt == PurgeNone)
1122   if (shouldRemoveDeadBindings(AMgr, currStmt, Pred,
1151   if(AMgr.options.ShouldUnrollLoops)
1320   AnalysisManager &AMgr = getAnalysisManager();
1321   AnalyzerOptions &Opts = AMgr.options;
2101       if (AMgr.options.ShouldInlineLambdas) {
2130       if (AMgr.options.ShouldEagerlyAssume &&
2404       if (AMgr.options.ShouldEagerlyAssume && (U->getOpcode() == UO_LNot)) {
2521   if(AMgr.options.ShouldUnrollLoops) {
2522     unsigned maxBlockVisitOnPath = AMgr.options.maxBlockVisitOnPath;
2525       ProgramStateRef NewState = updateLoopStack(Term, AMgr.getASTContext(),
2542   if (BlockCount == AMgr.options.maxBlockVisitOnPath - 1 &&
2543       AMgr.options.ShouldWidenLoops) {
2556   if (BlockCount >= AMgr.options.maxBlockVisitOnPath) {
2574       if ((!AMgr.options.NoRetryExhausted &&
2839       if (!SkipTrueBranch || AMgr.options.ShouldWidenLoops)
3105     if (AMgr.options.ShouldInlineLambdas && DeclRefEx &&
3343     (A->getType().isCForbiddenLValueType() && !AMgr.getLangOpts().CPlusPlus);