reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
767 QualType sizeTy = svalBuilder.getContext().getSizeType(); 768 SVal strLength = svalBuilder.getMetadataSymbolVal(CStringChecker::getTag(), 776 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); 781 NonLoc maxLength = svalBuilder.makeIntVal(*maxLengthInt); 782 SVal evalLength = svalBuilder.evalBinOpNN(state, BO_LE, *strLn,