52 struct SizeArgExpr : AnyArgExpr {  struct
168                       ProgramStateRef state, SizeArgExpr Size,
253                                     AnyArgExpr Buffer, SizeArgExpr Size,
257                                SizeArgExpr Size, AnyArgExpr First,
419                                   AnyArgExpr Buffer, SizeArgExpr Size,  in CheckBufferAccess()
476                                              SizeArgExpr Size, AnyArgExpr First,  in CheckOverlap()
1190                                     ProgramStateRef state, SizeArgExpr Size,  in evalCopyCommon()
1296   SizeArgExpr Size = {CE->getArg(2), 2};  in evalMemcpy()
1311   SizeArgExpr Size = {CE->getArg(2), 2};  in evalMempcpy()
1324   SizeArgExpr Size = {CE->getArg(2), 2};  in evalMemmove()
1336   SizeArgExpr Size = {CE->getArg(2), 2};  in evalBcopy()
1350   SizeArgExpr Size = {CE->getArg(2), 2};  in evalMemcmp()
1656   SizeArgExpr SrcExprAsSizeDummy = {srcExpr.Expression, srcExpr.ArgumentIndex};  in evalStrcpyCommon()
1659       (IsBounded ? SizeArgExpr{CE->getArg(2), 2} : SrcExprAsSizeDummy), Dst,  in evalStrcpyCommon()
1668     SizeArgExpr lenExpr = {CE->getArg(2), 2};  in evalStrcpyCommon()
2241   SizeArgExpr Size = {CE->getArg(2), 2};  in evalMemset()
2289   SizeArgExpr Size = {CE->getArg(1), 1};  in evalBzero()