Searched refs:SwapId (Results 1 – 1 of 1) sorted by relevance
572 std::string SwapId = (Id + "-swap").str(); in matchRelationalIntegerConstantExpr() local581 hasRHS(matchSymbolicExpr(Id)), expr().bind(SwapId))))); in matchRelationalIntegerConstantExpr()659 std::string SwapId = (Id + "-swap").str(); in retrieveRelationalIntegerConstantExpr() local697 if (Result.Nodes.getNodeAs<Expr>(SwapId)) in retrieveRelationalIntegerConstantExpr()