Searched defs:recordAssumption (Results 1 – 2 of 2) sorted by relevance
| /llvm-project/clang/lib/StaticAnalyzer/Checkers/ | ||
| H A D | BitwiseShiftChecker.cpp | 298 void BitwiseShiftValidator::recordAssumption(OperandSide Side, recordAssumption() function in __anon61c48b6b0111::BitwiseShiftValidator |
| /llvm-project/polly/lib/Support/ | ||
| H A D | ScopHelper.cpp | 221 void polly::recordAssumption(polly::RecordedAssumptionsTy *RecordedAssumptions, in recordAssumption() function in polly |