Home
last modified time | relevance | path

Searched refs:Verifier (Results 1 – 25 of 63) sorted by relevance

123

/llvm-project/clang/unittests/AST/
H A DSourceLocationTest.cpp35 // FIXME: Pull the *Verifier tests into their own test file.
38 LocationVerifier<VarDecl> Verifier; in TEST() local
39 Verifier.expectLocation(1, 1); in TEST()
40 EXPECT_FALSE(Verifier.match("int i", varDecl())); in TEST()
44 LocationVerifier<VarDecl> Verifier; in TEST() local
45 Verifier.expectLocation(1, 1); in TEST()
46 EXPECT_FALSE(Verifier.match("int i;", recordDecl())); in TEST()
50 LocationVerifier<RecordDecl> Verifier; in TEST() local
51 Verifier.expectLocation(1, 1); in TEST()
52 EXPECT_FALSE(Verifier in TEST()
56 LocationVerifier<VarDecl> Verifier; TEST() local
62 RangeVerifier<VarDecl> Verifier; TEST() local
114 WhileParenLocationVerifier Verifier; TEST() local
128 LabelDeclRangeVerifier Verifier; TEST() local
134 RangeVerifier<LabelStmt> Verifier; TEST() local
140 LocationVerifier<ParmVarDecl> Verifier; TEST() local
149 RangeVerifier<ParmVarDecl> Verifier; TEST() local
158 RangeVerifier<CXXNewExpr> Verifier; TEST() local
164 RangeVerifier<CXXNewExpr> Verifier; TEST() local
170 RangeVerifier<MemberExpr> Verifier; TEST() local
185 MemberExprArrowLocVerifier Verifier; TEST() local
193 MemberExprArrowLocVerifier Verifier; TEST() local
202 MemberExprArrowLocVerifier Verifier; TEST() local
210 RangeVerifier<VarDecl> Verifier; TEST() local
217 RangeVerifier<TypeLoc> Verifier; TEST() local
223 RangeVerifier<TypeLoc> Verifier; TEST() local
256 RangeVerifier<TypeLoc> Verifier; TEST() local
271 RangeVerifier<TypeLoc> Verifier; TEST() local
277 RangeVerifier<TypeLoc> Verifier; TEST() local
283 RangeVerifier<TypeLoc> Verifier; TEST() local
289 RangeVerifier<TypeLoc> Verifier; TEST() local
295 RangeVerifier<TypeLoc> Verifier; TEST() local
301 RangeVerifier<TypeLoc> Verifier; TEST() local
307 RangeVerifier<TypeLoc> Verifier; TEST() local
313 RangeVerifier<TypeLoc> Verifier; TEST() local
319 RangeVerifier<TypeLoc> Verifier; TEST() local
325 RangeVerifier<TypeLoc> Verifier; TEST() local
331 RangeVerifier<TypeLoc> Verifier; TEST() local
337 RangeVerifier<TypeLoc> Verifier; TEST() local
343 RangeVerifier<TypeLoc> Verifier; TEST() local
349 RangeVerifier<CXXConstructorDecl> Verifier; TEST() local
355 RangeVerifier<CXXConstructorDecl> Verifier; TEST() local
361 RangeVerifier<CXXConstructorDecl> Verifier; TEST() local
367 RangeVerifier<CompoundLiteralExpr> Verifier; TEST() local
375 RangeVerifier<CompoundLiteralExpr> Verifier; TEST() local
384 RangeVerifier<InitListExpr> Verifier; TEST() local
392 RangeVerifier<InitListExpr> Verifier; TEST() local
410 TemplateAngleBracketLocRangeVerifier Verifier; TEST() local
419 RangeVerifier<CXXNewExpr> Verifier; TEST() local
435 UnaryTransformTypeLocParensRangeVerifier Verifier; TEST() local
487 RangeVerifier<CXXFunctionalCastExpr> Verifier; TEST() local
497 RangeVerifier<CXXConstructExpr> Verifier; TEST() local
507 RangeVerifier<CXXTemporaryObjectExpr> Verifier; TEST() local
516 RangeVerifier<CXXUnresolvedConstructExpr> Verifier; TEST() local
529 RangeVerifier<UsingDecl> Verifier; TEST() local
538 RangeVerifier<UnresolvedUsingValueDecl> Verifier; TEST() local
549 LocationVerifier<FriendDecl> Verifier; TEST() local
558 RangeVerifier<FriendDecl> Verifier; TEST() local
567 LocationVerifier<FriendDecl> Verifier; TEST() local
576 RangeVerifier<FriendDecl> Verifier; TEST() local
585 LocationVerifier<FriendDecl> Verifier; TEST() local
594 RangeVerifier<FriendDecl> Verifier; TEST() local
603 LocationVerifier<FriendDecl> Verifier; TEST() local
613 RangeVerifier<FriendDecl> Verifier; TEST() local
623 LocationVerifier<FriendDecl> Verifier; TEST() local
633 RangeVerifier<FriendDecl> Verifier; TEST() local
643 LocationVerifier<FriendDecl> Verifier; TEST() local
654 RangeVerifier<FriendDecl> Verifier; TEST() local
701 LocationVerifier<FriendDecl> Verifier; TEST() local
711 RangeVerifier<FriendDecl> Verifier; TEST() local
721 LocationVerifier<FriendDecl> Verifier; TEST() local
731 RangeVerifier<FriendDecl> Verifier; TEST() local
741 LocationVerifier<FriendDecl> Verifier; TEST() local
750 RangeVerifier<FriendDecl> Verifier; TEST() local
759 RangeVerifier<FriendDecl> Verifier; TEST() local
772 RangeVerifier<ParenExpr> Verifier; TEST() local
783 RangeVerifier<FunctionDecl> Verifier; TEST() local
791 RangeVerifier<FunctionDecl> Verifier; TEST() local
805 FunctionDeclParametersRangeVerifier Verifier; TEST() local
811 FunctionDeclParametersRangeVerifier Verifier; TEST() local
817 FunctionDeclParametersRangeVerifier Verifier; TEST() local
825 FunctionDeclParametersRangeVerifier Verifier; TEST() local
833 FunctionDeclParametersRangeVerifier Verifier; TEST() local
839 FunctionDeclParametersRangeVerifier Verifier; TEST() local
848 FunctionDeclParametersRangeVerifier Verifier; TEST() local
857 FunctionDeclParametersRangeVerifier Verifier; TEST() local
866 FunctionDeclParametersRangeVerifier Verifier; TEST() local
873 FunctionDeclParametersRangeVerifier Verifier; TEST() local
879 FunctionDeclParametersRangeVerifier Verifier; TEST() local
885 FunctionDeclParametersRangeVerifier Verifier; TEST() local
891 FunctionDeclParametersRangeVerifier Verifier; TEST() local
897 FunctionDeclParametersRangeVerifier Verifier; TEST() local
904 RangeVerifier<FunctionDecl> Verifier; TEST() local
914 RangeVerifier<FunctionDecl> Verifier; TEST() local
949 ExceptionSpecRangeVerifier Verifier; TEST() local
1019 AutoTypeLocConceptReferenceRangeVerifier Verifier; TEST() local
1066 TemplateTypeParmDeclConceptReferenceRangeVerifier Verifier; TEST() local
1113 ConceptSpecializationExprConceptReferenceRangeVerifier Verifier; TEST() local
[all...]
H A DASTTypeTraitsTest.cpp182 RangeVerifier<DynTypedNode> Verifier; in TEST() local
183 Verifier.expectRange(1, 1, 1, 11); in TEST()
184 EXPECT_TRUE(Verifier.match("void f() {}", decl())); in TEST()
188 RangeVerifier<DynTypedNode> Verifier; in TEST() local
189 Verifier.expectRange(1, 10, 1, 11); in TEST()
190 EXPECT_TRUE(Verifier.match("void f() {}", stmt())); in TEST()
194 RangeVerifier<DynTypedNode> Verifier; in TEST() local
195 Verifier.expectRange(1, 1, 1, 8); in TEST()
196 EXPECT_TRUE(Verifier.match("void f() {}", typeLoc(loc(functionType())))); in TEST()
200 RangeVerifier<DynTypedNode> Verifier; in TEST() local
[all …]
H A DASTContextParentMapTest.cpp27 MatchVerifier<Decl> Verifier; in TEST() local
29 Verifier.match("class C { void f(); };", in TEST()
34 MatchVerifier<Stmt> Verifier; in TEST() local
35 EXPECT_TRUE(Verifier.match("class C { void f() { if (true) {} } };", in TEST()
40 MatchVerifier<TypeLoc> Verifier; in TEST() local
42 Verifier.match("namespace a { class b {}; } void f(a::b) {}", in TEST()
47 MatchVerifier<NestedNameSpecifierLoc> Verifier; in TEST() local
48 EXPECT_TRUE(Verifier.match("namespace a { class b {}; } void f(a::b) {}", in TEST()
152 MatchVerifier<VarDecl> Verifier;
153 EXPECT_TRUE(Verifier
[all...]
H A DASTImporterTest.cpp256 MatchVerifier<Decl> Verifier; in TEST_P() local
258 Lang_CXX03, Verifier, in TEST_P()
262 "", Lang_CXX03, Verifier, in TEST_P()
266 "", Lang_CXX03, Verifier, in TEST_P()
272 MatchVerifier<Decl> Verifier; in TEST_P() local
274 Lang_CXX03, Verifier, in TEST_P()
278 Lang_CXX03, Verifier, in TEST_P()
282 Lang_CXX03, Verifier, in TEST_P()
288 MatchVerifier<Decl> Verifier; in TEST_P() local
293 Lang_C99, "", Lang_C99, Verifier, in TEST_P()
301 MatchVerifier<Decl> Verifier; TEST_P() local
317 MatchVerifier<Decl> Verifier; TEST_P() local
324 MatchVerifier<Decl> Verifier; TEST_P() local
333 MatchVerifier<Decl> Verifier; TEST_P() local
342 MatchVerifier<Decl> Verifier; TEST_P() local
354 MatchVerifier<Decl> Verifier; TEST_P() local
362 MatchVerifier<Decl> Verifier; TEST_P() local
370 MatchVerifier<Decl> Verifier; TEST_P() local
386 MatchVerifier<Decl> Verifier; TEST_P() local
394 MatchVerifier<Decl> Verifier; TEST_P() local
405 MatchVerifier<Decl> Verifier; TEST_P() local
421 MatchVerifier<Decl> Verifier; TEST_P() local
439 MatchVerifier<Decl> Verifier; TEST_P() local
447 MatchVerifier<Decl> Verifier; TEST_P() local
462 MatchVerifier<Decl> Verifier; TEST_P() local
473 MatchVerifier<Decl> Verifier; TEST_P() local
491 MatchVerifier<Decl> Verifier; TEST_P() local
511 MatchVerifier<Decl> Verifier; TEST_P() local
521 MatchVerifier<Decl> Verifier; TEST_P() local
541 MatchVerifier<Decl> Verifier; TEST_P() local
556 MatchVerifier<Decl> Verifier; TEST_P() local
568 MatchVerifier<Decl> Verifier; TEST_P() local
577 MatchVerifier<Decl> Verifier; TEST_P() local
589 MatchVerifier<Decl> Verifier; TEST_P() local
598 MatchVerifier<Decl> Verifier; TEST_P() local
605 MatchVerifier<Decl> Verifier; TEST_P() local
614 MatchVerifier<Decl> Verifier; TEST_P() local
627 MatchVerifier<Decl> Verifier; TEST_P() local
635 MatchVerifier<Decl> Verifier; TEST_P() local
654 MatchVerifier<Decl> Verifier; TEST_P() local
667 MatchVerifier<Decl> Verifier; TEST_P() local
675 MatchVerifier<Decl> Verifier; TEST_P() local
687 MatchVerifier<Decl> Verifier; TEST_P() local
696 MatchVerifier<Decl> Verifier; TEST_P() local
702 MatchVerifier<Decl> Verifier; TEST_P() local
724 MatchVerifier<Decl> Verifier; TEST_P() local
741 MatchVerifier<Decl> Verifier; TEST_P() local
754 MatchVerifier<Decl> Verifier; TEST_P() local
771 MatchVerifier<Decl> Verifier; TEST_P() local
784 MatchVerifier<Decl> Verifier; TEST_P() local
797 MatchVerifier<Decl> Verifier; TEST_P() local
829 MatchVerifier<Decl> Verifier; TEST_P() local
854 MatchVerifier<Decl> Verifier; TEST_P() local
866 MatchVerifier<Decl> Verifier; TEST_P() local
884 MatchVerifier<Decl> Verifier; TEST_P() local
897 MatchVerifier<Decl> Verifier; TEST_P() local
909 MatchVerifier<Decl> Verifier; TEST_P() local
974 MatchVerifier<Decl> Verifier; TEST_P() local
986 MatchVerifier<Decl> Verifier; TEST_P() local
994 MatchVerifier<Decl> Verifier; TEST_P() local
1006 MatchVerifier<Decl> Verifier; TEST_P() local
1016 MatchVerifier<Decl> Verifier; TEST_P() local
1042 MatchVerifier<Decl> Verifier; TEST_P() local
1056 MatchVerifier<Decl> Verifier; TEST_P() local
1068 MatchVerifier<Decl> Verifier; TEST_P() local
1093 MatchVerifier<Decl> Verifier; TEST_P() local
1107 MatchVerifier<Decl> Verifier; TEST_P() local
1121 MatchVerifier<Decl> Verifier; TEST_P() local
1131 MatchVerifier<Decl> Verifier; TEST_P() local
1141 MatchVerifier<Decl> Verifier; TEST_P() local
1507 MatchVerifier<Decl> Verifier; TEST_P() local
1677 MatchVerifier<Decl> Verifier; TEST_P() local
1697 MatchVerifier<Decl> Verifier; TEST_P() local
1722 MatchVerifier<Decl> Verifier; TEST_P() local
1738 MatchVerifier<Decl> Verifier; TEST_P() local
1756 MatchVerifier<Decl> Verifier; TEST_P() local
1789 MatchVerifier<Decl> Verifier; TEST_P() local
3166 MatchVerifier<Decl> Verifier; TEST_P() local
3179 MatchVerifier<Decl> Verifier; TEST_P() local
3206 MatchVerifier<Decl> Verifier; TEST_P() local
3216 MatchVerifier<Decl> Verifier; TEST_P() local
[all...]
H A DASTImporterFixtures.h245 MatchVerifier<NodeType> &Verifier, in testImport() argument
276 EXPECT_TRUE(Verifier.match(ToImport, WrapperMatcher)); in testImport()
289 return Verifier.match(*Imported, WrapperMatcher); in testImport()
297 MatchVerifier<NodeType> &Verifier, in testImport() argument
300 FromCode, FromArgs, ToCode, ToArgs, Verifier, in testImport()
316 MatchVerifier<NodeType> &Verifier, in testImport() argument
321 testImport(FromCode, FromArgs, ToCode, ToArgs, Verifier, AMatcher)); in testImport()
421 MatchVerifier<Decl> Verifier; in testImportSequence() local
422 EXPECT_TRUE(Verifier.match( in testImportSequence()
/llvm-project/llvm/unittests/XRay/
H A DFDRBlockVerifierTest.cpp58 BlockVerifier Verifier; in TEST() local
63 ASSERT_FALSE(errorToBool(R->apply(Verifier))); in TEST()
64 ASSERT_FALSE(errorToBool(Verifier.verify())); in TEST()
65 Verifier.reset(); in TEST()
79 BlockVerifier Verifier; in TEST() local
81 ASSERT_FALSE(errorToBool(R->apply(Verifier))); in TEST()
82 ASSERT_FALSE(errorToBool(Verifier.verify())); in TEST()
93 BlockVerifier Verifier; in TEST() local
95 ASSERT_FALSE(errorToBool(R->apply(Verifier))); in TEST()
96 ASSERT_FALSE(errorToBool(Verifier.verify())); in TEST()
[all …]
H A DFDRRecordsTest.cpp85 BlockVerifier Verifier; in TEST() local
87 ASSERT_FALSE(errorToBool(R->apply(Verifier))); in TEST()
88 ASSERT_FALSE(errorToBool(Verifier.verify())); in TEST()
136 BlockVerifier Verifier; in TEST() local
141 ASSERT_FALSE(errorToBool(R->apply(Verifier))); in TEST()
142 ASSERT_FALSE(errorToBool(Verifier.verify())); in TEST()
143 Verifier.reset(); in TEST()
/llvm-project/clang/unittests/Tooling/
H A DCommentHandlerTest.cpp131 CommentVerifier Verifier = Visitor.GetVerifier(); in TEST()
138 CommentVerifier Verifier = Visitor.GetVerifier(); in TEST()
139 Verifier.Match("/* comment */", 1, 26); in TEST()
150 CommentVerifier Verifier = Visitor.GetVerifier(); in TEST()
151 Verifier.Match("// comment 1", 1, 13); in TEST()
152 Verifier.Match("// comment 2", 3, 3); in TEST()
162 CommentVerifier Verifier = Visitor.GetVerifier(); in TEST()
163 Verifier.Match("// visible comment", 4, 1); in TEST()
184 CommentVerifier Verifier = Visitor.GetVerifier(); in TEST()
185 Verifier in TEST()
134 CommentVerifier Verifier = Visitor.GetVerifier(); TEST() local
141 CommentVerifier Verifier = Visitor.GetVerifier(); TEST() local
153 CommentVerifier Verifier = Visitor.GetVerifier(); TEST() local
165 CommentVerifier Verifier = Visitor.GetVerifier(); TEST() local
187 CommentVerifier Verifier = Visitor.GetVerifier(); TEST() local
207 CommentVerifier Verifier = Visitor.GetVerifier(); TEST() local
218 CommentVerifier Verifier = Visitor.GetVerifier(); TEST() local
[all...]
/llvm-project/llvm/lib/IR/
H A DVerifier.cpp1 //===-- Verifier.cpp - Implement the Module Verifier -----------------------==//
50 #include "llvm/IR/Verifier.h"
324 class Verifier : public InstVisitor<Verifier>, VerifierSupport {
325 friend class InstVisitor<Verifier>; class
392 explicit Verifier(raw_ostream *OS, bool ShouldTreatBrokenDebugInfoAsError,
451 /// Verify the module that this instance of \c Verifier was initialized with. in verify()
553 using InstVisitor<Verifier>::visit;
684 void Verifier
403 explicit Verifier(raw_ostream *OS, bool ShouldTreatBrokenDebugInfoAsError, Verifier() function in __anon5ac1aa490111::Verifier
[all...]
H A DSafepointIRVerifier.cpp248 "Safepoint IR Verifier", false, false)
251 "Safepoint IR Verifier", false, false) in INITIALIZE_PASS_DEPENDENCY()
487 InstructionVerifier &Verifier);
587 InstructionVerifier &Verifier) { in verifyFunction()
603 Verifier.verifyInstruction(&Tracker, I, AvailableSet); in verifyFunction()
904 InstructionVerifier Verifier; in Verify()
905 GCPtrTracker::verifyFunction(std::move(Tracker), Verifier); in Verify()
907 if (PrintOnly && !Verifier.hasAnyInvalidUses()) { in Verify()
585 verifyFunction(GCPtrTracker && Tracker,InstructionVerifier & Verifier) verifyFunction() argument
902 InstructionVerifier Verifier; Verify() local
/llvm-project/clang/lib/InstallAPI/
H A DVisitor.cpp162 Ctx.Verifier->verify(ObjCIVR, FA, SuperClass); in recordObjCInstanceVariables()
186 Ctx.Verifier->verify(Class, FA); in VisitObjCInterfaceDecl()
247 Ctx.Verifier->verify(GR, FA); in VisitVarDecl()
300 Ctx.Verifier->verify(GR, FA); in VisitFunctionDecl()
493 Ctx.Verifier->verify(GR, FA); in emitVTableSymbols()
508 Ctx.Verifier->verify(GR, FA); in emitVTableSymbols()
537 Ctx.Verifier->verify(GR, FA); in emitVTableSymbols()
543 Ctx.Verifier->verify(NamedGR, NamedFA); in emitVTableSymbols()
637 Ctx.Verifier->verify(GR, FA); in VisitCXXRecordDecl()
644 Ctx.Verifier->verify(GR, FA); in VisitCXXRecordDecl()
[all …]
/llvm-project/clang/tools/clang-installapi/
H A DClangInstallAPI.cpp107 if (!Ctx.Verifier->verifyBinaryAttrs(Targets, Ctx.BA, Ctx.Reexports, in run()
125 Ctx.Verifier->setTarget(Targ); in run()
150 if (Ctx.Verifier->verifyRemainingSymbols() == DylibVerifier::Result::Invalid) in run()
162 InterfaceFile IF(Ctx.Verifier->takeExports()); in run()
/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorRangeChecker.cpp129 const AdvanceFn *Verifier = AdvanceFunctions.lookup(Call); in checkPreCall() local
130 if (Verifier) { in checkPreCall()
132 (this->**Verifier)(C, Call.getArgSVal(0), Call.getArgSVal(1)); in checkPreCall()
135 (this->**Verifier)( in checkPreCall()
/llvm-project/llvm/lib/Transforms/Vectorize/
H A DVPlanVerifier.cpp421 VPlanVerifier Verifier(VPDT, TypeInfo);
422 return Verifier.verify(Plan);
349 VPlanVerifier Verifier(VPDT); verifyVPlanIsValid() local
/llvm-project/clang/include/clang/InstallAPI/
H A DFrontend.h39 Ctx.Verifier->setSourceManager(CI.getSourceManagerPtr()); in CreateASTConsumer()
H A DContext.h53 std::unique_ptr<DylibVerifier> Verifier = nullptr; member
/llvm-project/llvm/test/CodeGen/MIR/X86/
H A Dtied-physical-regs-match.mir2 # This test ensures that the Machine Verifier detects tied physical registers
/llvm-project/llvm/lib/XRay/
H A DTrace.cpp313 BlockVerifier Verifier; in loadFDRLog() local
315 if (auto E = R->apply(Verifier)) in loadFDRLog()
317 if (auto E = Verifier.verify()) in loadFDRLog()
/llvm-project/llvm/test/CodeGen/PowerPC/
H A DO0-pipeline.ll24 ; CHECK-NEXT: Module Verifier
35 ; CHECK-NEXT: Module Verifier
/llvm-project/llvm/test/CodeGen/RISCV/
H A DO0-pipeline.ll26 ; CHECK-NEXT: Module Verifier
37 ; CHECK-NEXT: Module Verifier
/llvm-project/llvm/test/CodeGen/AArch64/
H A DO0-pipeline.ll21 ; CHECK-NEXT: Module Verifier
39 ; CHECK-NEXT: Module Verifier
/llvm-project/offload/plugins-nextgen/amdgpu/utils/
H A DUtilitiesRTL.h
/llvm-project/llvm/test/CodeGen/LoongArch/
H A DO0-pipeline.ll25 ; CHECK-NEXT: Module Verifier
36 ; CHECK-NEXT: Module Verifier
/llvm-project/clang/test/CodeGenObjC/
H A Ddebug-info-nested-blocks.m3 // wrong parent and subsequently failed the Verifier.
/llvm-project/llvm/test/DebugInfo/
H A Ddebugify-export.ll13 ; CHECK: {{Module Verifier|GlobalOptPass}}

123