Searched refs:guardA (Results 1 – 13 of 13) sorted by relevance
109 const guardA = (v: any): v is ActionA => { constant117 if (isAnyOf(guardA, guardB)(action)) {204 const guardA = (v: any): v is ActionA => { constant208 if (isAllOf(guardA, isSpecialAction)(action)) {
29 auto guardA = MakeScopeExit([&] { in Test() local
28 auto guardA = MakeScopeExit([&] { a--; }); in Test() local
4662 IRTemp guardA = newIRTemp(sbOut->tyenv, Ity_I1); in instrument_mem_access() local4665 assign(guardA, in instrument_mem_access()4670 di->guard = mkexpr(guardA); in instrument_mem_access()
1073 auto guardA = mozilla::MakeScopeExit( in execute() local
1242 auto guardA = mozilla::MakeScopeExit( in execute() local
1254 auto guardA = mozilla::MakeScopeExit( in execute() local