Lines Matching refs:BO_GT
470 SVal reverse = svalBuilder.evalBinOpLL(state, BO_GT,
515 SVal Overlap = svalBuilder.evalBinOpLL(state, BO_GT,
588 SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left,
1304 .evalBinOpNN(state, BO_GT, *strLengthNL, *maxlenValNL, cmpTy)