Lines Matching refs:BO_GT
454 SVal reverse = svalBuilder.evalBinOpLL(state, BO_GT,
499 SVal Overlap = svalBuilder.evalBinOpLL(state, BO_GT,
572 SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left,
1173 state, BO_GT, *strLengthNL, *maxlenValNL, cmpTy)