SuccessChanges

Summary

  1. [analyzer][StdLibraryFunctionsChecker] Use Optionals throughout the summary API (details)
Commit a787a4ed16d6867f56d81159a8fcf2b711d18a8a by gabor.marton
[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
The file was addedclang/test/Analysis/std-c-library-functions-POSIX-lookup.c
The file was modifiedclang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp (diff)