44 struct SizeArgExpr : AnyArgExpr {};  struct
181                       ProgramStateRef state, SizeArgExpr Size,
292                                     AnyArgExpr Buffer, SizeArgExpr Size,
296                                SizeArgExpr Size, AnyArgExpr First,
458                                   AnyArgExpr Buffer, SizeArgExpr Size,  in CheckBufferAccess()
521                                              SizeArgExpr Size, AnyArgExpr First,  in CheckOverlap()
1292                                     ProgramStateRef state, SizeArgExpr Size,  in evalCopyCommon()
1398   SizeArgExpr Size = {{Call.getArgExpr(2), 2}};  in evalMemcpy()
1413   SizeArgExpr Size = {{Call.getArgExpr(2), 2}};  in evalMempcpy()
1427   SizeArgExpr Size = {{Call.getArgExpr(2), 2}};  in evalMemmove()
1439   SizeArgExpr Size = {{Call.getArgExpr(2), 2}};  in evalBcopy()
1454   SizeArgExpr Size = {{Call.getArgExpr(2), 2}};  in evalMemcmp()
1770   SizeArgExpr SrcExprAsSizeDummy = {  in evalStrcpyCommon()
1774       (IsBounded ? SizeArgExpr{{Call.getArgExpr(2), 2}} : SrcExprAsSizeDummy),  in evalStrcpyCommon()
1783     SizeArgExpr lenExpr = {{Call.getArgExpr(2), 2}};  in evalStrcpyCommon()
2381   SizeArgExpr Size = {{Call.getArgExpr(2), 2}};  in evalMemset()
2429   SizeArgExpr Size = {{Call.getArgExpr(1), 1}};  in evalBzero()
2506     SizeArgExpr SrcExprAsSizeDummy = {  in evalSprintfCommon()
2510         (IsBounded ? SizeArgExpr{{Call.getArgExpr(1), 1}} : SrcExprAsSizeDummy),  in evalSprintfCommon()