Searched defs:inv (Results 1 – 4 of 4) sorted by relevance
23 auto VerifyNode(Inv *inv, const ir::AstNode *node) in VerifyNode()44 verifier->Apply([this, node](auto &...inv) { in operator ()()97 Apply([](auto &&...inv) { ((inv.Init()), ...); }); in Verify()105 auto reporter = [this, sourceName](auto &&inv) { in Verify()112 …ES2PANDA_ASSERT(astCorrect == Apply([](const auto &...inv) { return ((!inv.HasMessages()) && ...);… in Verify()118 Apply([&reporter](auto &...inv) { (reporter(std::move(inv)), ...); }); in Verify()
176 auto *inv = Get<Invariant>(); variable196 auto *inv = Get<Invariant>(); variable
25 …ExceptionsMatcher(const IdentifierHasVariable *inv, const ir::Identifier *ast) : inv_(inv), ast_(a… in ExceptionsMatcher()
199 void VisitIntrinsicCheckInvariant(Inst *inv) in VisitIntrinsicCheckInvariant()