projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9fbb113) | patch
[analyzer][StdLibraryFunctionsChecker] Use Optionals throughout the summary API
authorGabor Marton <gabor.marton@ericsson.com>
Tue, 25 Aug 2020 11:33:41 +0000 (13:33 +0200)
committerGabor Marton <gabor.marton@ericsson.com>
Tue, 1 Sep 2020 09:36:20 +0000 (11:36 +0200)
commita787a4ed16d6867f56d81159a8fcf2b711d18a8a
tree5565d149fc872e7ca7eba68f94f0b1e4d913e75etree | snapshot
parent9fbb113247a5c09d319760d3f0e1768dfdbadfa4commit | diff
[analyzer][StdLibraryFunctionsChecker] Use Optionals throughout the summary API

By using optionals, we no longer have to check the validity of types that we
get from a lookup. This way, the definition of the summaries have a declarative
form, there are no superflous conditions in the source code.

Differential Revision: https://reviews.llvm.org/D86531
clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp diff | blob | history
clang/test/Analysis/std-c-library-functions-POSIX-lookup.c [new file with mode: 0644] blob
Domain: System / Toolchain;