]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b2d875e) | patch
[analyzer] Display a diagnostics when an inlined function violates its os_consumed...
authorGeorge Karpenkov <ekarpenkov@apple.com>
Tue, 11 Dec 2018 01:13:40 +0000 (01:13 +0000)
committerGeorge Karpenkov <ekarpenkov@apple.com>
Tue, 11 Dec 2018 01:13:40 +0000 (01:13 +0000)
commit48f04c6368e202cd7f550a24e92fa129bbf72f8c
treee0d621afabe2d2f690dddb57e38efcfa8945f879tree | snapshot
parentb2d875ed24d0914741d7cd1467c218a9bfa3d65acommit | diff
[analyzer] Display a diagnostics when an inlined function violates its os_consumed summary

This is currently a diagnostics, but might be upgraded to an error in the future,
especially if we introduce os_return_on_success attributes.

rdar://46359592

Differential Revision: https://reviews.llvm.org/D55530

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@348820 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp diff | blob | history
test/Analysis/osobject-retain-release.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.