Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [analyzer] NonnullGlobalConstants: Add support for kCFNull. | Artem Dergachev | 2019-12-18 | 1 | -1/+9 |
| | | | | It's a singleton in CoreFoundation that always contains a non-null CFNullRef. | ||||
* | [analyzer] NonnullGlobalConstants: Don't be confused by a _Nonnull attribute. | Artem Dergachev | 2019-07-01 | 1 | -0/+12 |
| | | | | | | | | | | | | | | | The NonnullGlobalConstants checker models the rule "it doesn't make sense to make a constant global pointer and initialize it to null"; it makes sure that whatever it's initialized with is known to be non-null. Ironically, annotating the type of the pointer as _Nonnull breaks the checker. Fix handling of the _Nonnull annotation so that it was instead one more reason to believe that the value is non-null. Differential Revision: https://reviews.llvm.org/D63956 llvm-svn: 364869 | ||||
* | [Analyzer] Assume that CFBooleanRef const globals are non-null | George Karpenkov | 2017-10-13 | 1 | -0/+103 |
Differential Revision: https://reviews.llvm.org/D38867 llvm-svn: 315655 |