reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h

   77     assert(!ASTs.empty());
   82     llvm::SMTExprRef res = ASTs.front();
   83     for (std::size_t i = 1; i < ASTs.size(); ++i)
   84       res = (Op == BO_LAnd) ? Solver->mkAnd(res, ASTs[i])
   85                             : Solver->mkOr(res, ASTs[i]);