Lines Matching refs:AnyArgExpr
42 struct AnyArgExpr { struct
46 struct SourceArgExpr : AnyArgExpr {};
47 struct DestinationArgExpr : AnyArgExpr {};
48 struct SizeArgExpr : AnyArgExpr {};
310 AnyArgExpr Arg, SVal l) const;
314 AnyArgExpr Buffer, SVal Element, SVal Size) const;
316 AnyArgExpr Buffer, SVal Element,
320 AnyArgExpr Buffer, SizeArgExpr Size,
324 SizeArgExpr Size, AnyArgExpr First,
325 AnyArgExpr Second,
376 AnyArgExpr Arg, SVal l) const { in checkNonNull()
437 AnyArgExpr Buffer, SVal Element, in checkInit()
550 AnyArgExpr Buffer, SVal Element, in CheckLocation()
599 AnyArgExpr Buffer, SizeArgExpr Size, in CheckBufferAccess()
665 SizeArgExpr Size, AnyArgExpr First, in CheckOverlap()
666 AnyArgExpr Second, in CheckOverlap()
1600 AnyArgExpr Left = {Call.getArgExpr(0), 0}; in evalMemcmp()
1601 AnyArgExpr Right = {Call.getArgExpr(1), 1}; in evalMemcmp()
1713 AnyArgExpr Arg = {Call.getArgExpr(0), 0}; in evalstrLengthCommon()
2297 AnyArgExpr Left = {Call.getArgExpr(0), 0}; in evalStrcmpCommon()
2304 AnyArgExpr Right = {Call.getArgExpr(1), 1}; in evalStrcmpCommon()
2443 AnyArgExpr DelimStr = {Call.getArgExpr(1), 1}; in evalStrsep()
2528 AnyArgExpr CharE = {Call.getArgExpr(1), 1}; in evalMemset()