49 struct SizeArgExpr : AnyArgExpr {  struct
157                       ProgramStateRef state, SizeArgExpr Size,
242                                     AnyArgExpr Buffer, SizeArgExpr Size,
245                                SizeArgExpr Size, AnyArgExpr First,
378                                                   SizeArgExpr Size,  in CheckBufferAccess()
436                                              SizeArgExpr Size, AnyArgExpr First,  in CheckOverlap()
1127                                     ProgramStateRef state, SizeArgExpr Size,  in evalCopyCommon()
1232   SizeArgExpr Size = {CE->getArg(2), 2};  in evalMemcpy()
1246   SizeArgExpr Size = {CE->getArg(2), 2};  in evalMempcpy()
1258   SizeArgExpr Size = {CE->getArg(2), 2};  in evalMemmove()
1269   SizeArgExpr Size = {CE->getArg(2), 2};  in evalBcopy()
1282   SizeArgExpr Size = {CE->getArg(2), 2};  in evalMemcmp()
1588   SizeArgExpr SrcExprAsSizeDummy = {srcExpr.Expression, srcExpr.ArgumentIndex};  in evalStrcpyCommon()
1591       (IsBounded ? SizeArgExpr{CE->getArg(2), 2} : SrcExprAsSizeDummy), Dst,  in evalStrcpyCommon()
1600     SizeArgExpr lenExpr = {CE->getArg(2), 2};  in evalStrcpyCommon()
2173   SizeArgExpr Size = {CE->getArg(2), 2};  in evalMemset()
2221   SizeArgExpr Size = {CE->getArg(1), 1};  in evalBzero()