diff options
| author | Devin Coughlin <dcoughlin@apple.com> | 2016-03-28 20:30:25 +0000 |
|---|---|---|
| committer | Devin Coughlin <dcoughlin@apple.com> | 2016-03-28 20:30:25 +0000 |
| commit | 77942db0b8ae4799fa9cbd2f4b9872397b94bd43 (patch) | |
| tree | 8ba518779a36f89a54dba0ba6f521258851a583a /clang/lib/Driver/Tools.cpp | |
| parent | 0afa32cd5977ec98f44c807c0426d779f3800b13 (diff) | |
| download | bcm5719-llvm-77942db0b8ae4799fa9cbd2f4b9872397b94bd43.tar.gz bcm5719-llvm-77942db0b8ae4799fa9cbd2f4b9872397b94bd43.zip | |
[analyzer] Nullability: Don't warn along paths where null returned from non-null.
Change the nullability checker to not warn along paths where null is returned from
a method with a non-null return type, even when the diagnostic for this return
has been suppressed. This prevents warning from methods with non-null return types
that inline methods that themselves return nil but that suppressed the diagnostic.
Also change the PreconditionViolated state component to be called "InvariantViolated"
because it is set when a post-condition is violated, as well.
rdar://problem/25393539
llvm-svn: 264647
Diffstat (limited to 'clang/lib/Driver/Tools.cpp')
0 files changed, 0 insertions, 0 deletions
