8370     const auto &SimplifiedRHS = A.getAssumedSimplified(  in calculateBinaryOperator()  local
8373     if (!SimplifiedRHS.has_value())  in calculateBinaryOperator()
8375     if (!SimplifiedRHS.value())  in calculateBinaryOperator()
8377     RHS = *SimplifiedRHS;  in calculateBinaryOperator()
8453     const auto &SimplifiedRHS = A.getAssumedSimplified(  in calculateCmpInst()  local
8456     if (!SimplifiedRHS.has_value())  in calculateCmpInst()
8458     if (!SimplifiedRHS.value())  in calculateCmpInst()
8460     RHS = *SimplifiedRHS;  in calculateCmpInst()
10038     const auto &SimplifiedRHS = A.getAssumedSimplified(  in handleCmp()  local
10041     if (!SimplifiedRHS.has_value())  in handleCmp()
10043     if (!SimplifiedRHS.value())  in handleCmp()
10045     RHS = *SimplifiedRHS;  in handleCmp()