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 @@ -3585,17 +3585,17 @@ void StdLibraryFunctionsChecker::initFunctionSummaries(
3585
3585
.ArgConstraint (BufferSize (
3586
3586
/* Buffer=*/ ArgNo (1 ),
3587
3587
/* MinBufSize=*/ BVF.getValue (26 , IntTy))));
3588
- .ArgConstraint (NotNull (ArgNo (2 )))
3589
-
3590
- // struct tm *gmtime_r(const time_t *restrict timer,
3591
- // struct tm *restrict result);
3592
- addToFunctionSummaryMap (
3593
- " gmtime_r" ,
3594
- Signature (ArgTypes{ConstTime_tPtrRestrictTy, StructTmPtrRestrictTy},
3595
- RetType{StructTmPtrTy}),
3596
- Summary (NoEvalCall)
3597
- .ArgConstraint (NotNull (ArgNo (0 )))
3598
- .ArgConstraint (NotNull (ArgNo (1 ))));
3588
+ .ArgConstraint (NotNull (ArgNo (2 )))
3589
+
3590
+ // struct tm *gmtime_r(const time_t *restrict timer,
3591
+ // struct tm *restrict result);
3592
+ addToFunctionSummaryMap (
3593
+ " gmtime_r" ,
3594
+ Signature (ArgTypes{ConstTime_tPtrRestrictTy, StructTmPtrRestrictTy},
3595
+ RetType{StructTmPtrTy}),
3596
+ Summary (NoEvalCall)
3597
+ .ArgConstraint (NotNull (ArgNo (0 )))
3598
+ .ArgConstraint (NotNull (ArgNo (1 ))));
3599
3599
3600
3600
// struct tm * gmtime(const time_t *tp);
3601
3601
addToFunctionSummaryMap (
You can’t perform that action at this time.
0 commit comments