File tree Expand file tree Collapse file tree 1 file changed +11
-11
lines changed
clang/lib/StaticAnalyzer/Checkers Expand file tree Collapse file tree 1 file changed +11
-11
lines changed Original file line number Diff line number Diff line change @@ -3586,17 +3586,17 @@ void StdLibraryFunctionsChecker::initFunctionSummaries(
3586
3586
.ArgConstraint (BufferSize (
3587
3587
/* Buffer=*/ ArgNo (1 ),
3588
3588
/* MinBufSize=*/ BVF.getValue (26 , IntTy))));
3589
- .ArgConstraint (NotNull (ArgNo (2 )))
3590
-
3591
- // struct tm *gmtime_r(const time_t *restrict timer,
3592
- // struct tm *restrict result);
3593
- addToFunctionSummaryMap (
3594
- " gmtime_r" ,
3595
- Signature (ArgTypes{ConstTime_tPtrRestrictTy, StructTmPtrRestrictTy},
3596
- RetType{StructTmPtrTy}),
3597
- Summary (NoEvalCall)
3598
- .ArgConstraint (NotNull (ArgNo (0 )))
3599
- .ArgConstraint (NotNull (ArgNo (1 ))));
3589
+ .ArgConstraint (NotNull (ArgNo (2 )))
3590
+
3591
+ // struct tm *gmtime_r(const time_t *restrict timer,
3592
+ // struct tm *restrict result);
3593
+ addToFunctionSummaryMap (
3594
+ " gmtime_r" ,
3595
+ Signature (ArgTypes{ConstTime_tPtrRestrictTy, StructTmPtrRestrictTy},
3596
+ RetType{StructTmPtrTy}),
3597
+ Summary (NoEvalCall)
3598
+ .ArgConstraint (NotNull (ArgNo (0 )))
3599
+ .ArgConstraint (NotNull (ArgNo (1 ))));
3600
3600
3601
3601
// struct tm * gmtime(const time_t *tp);
3602
3602
addToFunctionSummaryMap (
You can’t perform that action at this time.
0 commit comments