Searched refs:ReturnValueCondition (Results 1 - 1 of 1) sorted by relevance
| /freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StdLibraryFunctionsChecker.cpp | 912 } ReturnValueCondition; local
938 .Case({ReturnValueCondition(WithinRange,
944 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)),
945 ReturnValueCondition(WithinRange, Range(-1, Max))});
952 ReturnValueCondition(LessThanOrEq, ArgNo(2)),
961 ReturnValueCondition(LessThanOrEq, ArgNo(2)),
968 .Case({ReturnValueCondition(WithinRange, {{-1, -1}, {1, Max}})});
981 ReturnValueCondition(OutOfRange, SingleValue(0))})
990 ReturnValueCondition(WithinRange, SingleValue(0))})
997 ReturnValueCondition(OutOfRang
[all...] |
Completed in 99 milliseconds