Searched refs:ASTs (Results 1 – 7 of 7) sorted by relevance
594 std::vector<std::unique_ptr<ASTUnit>> &ASTs; member in __anon0c0437590411::ASTBuilderAction597 ASTBuilderAction(std::vector<std::unique_ptr<ASTUnit>> &ASTs) : ASTs(ASTs) {} in ASTBuilderAction() argument612 ASTs.push_back(std::move(AST)); in runInvocation()619 int ClangTool::buildASTs(std::vector<std::unique_ptr<ASTUnit>> &ASTs) { in buildASTs() argument620 ASTBuilderAction Action(ASTs); in buildASTs()647 std::vector<std::unique_ptr<ASTUnit>> ASTs; in buildASTFromCodeWithArgs() local648 ASTBuilderAction Action(ASTs); in buildASTFromCodeWithArgs()673 assert(ASTs.size() == 1); in buildASTFromCodeWithArgs()674 return std::move(ASTs[0]); in buildASTFromCodeWithArgs()
76 const std::vector<llvm::SMTExprRef> &ASTs) { in fromNBinOp() argument77 assert(!ASTs.empty()); in fromNBinOp()82 llvm::SMTExprRef res = ASTs.front(); in fromNBinOp()83 for (std::size_t i = 1; i < ASTs.size(); ++i) in fromNBinOp()84 res = (Op == BO_LAnd) ? Solver->mkAnd(res, ASTs[i]) in fromNBinOp()85 : Solver->mkOr(res, ASTs[i]); in fromNBinOp()
315 std::vector<llvm::SMTExprRef> ASTs; in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
356 int buildASTs(std::vector<std::unique_ptr<ASTUnit>> &ASTs);
409 // Importing ASTs460 // Importing Objective-C ASTs531 // Importing C++ ASTs
43 /// created only for explicit casts; dependent ASTs aren't required
5338 HelpText<"Build ASTs and then pretty-print them">;5340 HelpText<"Build ASTs and print the list of declaration node qualified names">;5342 HelpText<"Build ASTs and then debug dump them">;5344 HelpText<"Build ASTs and then debug dump them in the specified format. "5347 HelpText<"Build ASTs and then debug dump them, forcing deserialization">;5349 HelpText<"Build ASTs and then debug dump them in the specified format, "5357 HelpText<"Build ASTs and then debug dump their name lookup tables">,5360 HelpText<"Build ASTs and view them with GraphViz">;5370 HelpText<"Build ASTs then convert to LLVM, emit .bc file">;5372 HelpText<"Build ASTs and convert to LLVM, discarding output">;