8248c2af94
We want the generice StdLibraryFunctionsChecker to report only if there are no specific checkers that would handle the argument constraint for a function. Note, the assumptions are still evaluated, even if the arguement constraint checker is set to not report. This means that the assumptions made in the generic StdLibraryFunctionsChecker should be an over-approximation of the assumptions made in the specific checkers. But most importantly, the assumptions should not contradict. Differential Revision: https://reviews.llvm.org/D87240 |
||
|---|---|---|
| .. | ||
| Analysis | ||
| ARCMT | ||
| AST | ||
| ASTMerge | ||
| clang-rename | ||
| ClangScanDeps | ||
| CodeCompletion | ||
| CodeGen | ||
| CodeGenCoroutines | ||
| CodeGenCUDA | ||
| CodeGenCXX | ||
| CodeGenHIP | ||
| CodeGenObjC | ||
| CodeGenObjCXX | ||
| CodeGenOpenCL | ||
| CodeGenOpenCLCXX | ||
| CodeGenSYCL | ||
| Coverage | ||
| CoverageMapping | ||
| CXX | ||
| Driver | ||
| FixIt | ||
| Format | ||
| Frontend | ||
| Headers | ||
| Import | ||
| Index | ||
| Integration | ||
| InterfaceStubs | ||
| Layout | ||
| Lexer | ||
| Misc | ||
| Modules | ||
| OpenMP | ||
| Parser | ||
| ParserSYCL | ||
| PCH | ||
| Preprocessor | ||
| Profile | ||
| Refactor | ||
| Rewriter | ||
| Sema | ||
| SemaCUDA | ||
| SemaCXX | ||
| SemaObjC | ||
| SemaObjCXX | ||
| SemaOpenCL | ||
| SemaOpenCLCXX | ||
| SemaSYCL | ||
| SemaTemplate | ||
| TableGen | ||
| Templight | ||
| Tooling | ||
| Unit | ||
| utils/update_cc_test_checks | ||
| VFS | ||
| .clang-format | ||
| CMakeLists.txt | ||
| cxx-sections.data | ||
| lit.cfg.py | ||
| lit.site.cfg.py.in | ||
| make_test_dirs.pl | ||
| TestRunner.sh | ||