From 1b6fff624e24727940c1fe59431e74ef11eda230 Mon Sep 17 00:00:00 2001 From: Dimitry Andric Date: Thu, 23 Feb 2017 19:02:12 +0000 Subject: Vendor import of clang release_40 branch r295910: https://llvm.org/svn/llvm-project/cfe/branches/release_40@295910 --- docs/ReleaseNotes.rst | 24 +++++++++++++++++------- 1 file changed, 17 insertions(+), 7 deletions(-) (limited to 'docs/ReleaseNotes.rst') diff --git a/docs/ReleaseNotes.rst b/docs/ReleaseNotes.rst index 08d7a7583f5b..8363ae457dad 100644 --- a/docs/ReleaseNotes.rst +++ b/docs/ReleaseNotes.rst @@ -241,17 +241,27 @@ show the description of the defects. Static Analyzer --------------- -... +With the option --show-description, scan-build's list of defects will also +show the description of the defects. -Core Analysis Improvements -========================== +The analyzer now provides better support of code that uses gtest. -- ... +Several new checks were added: -New Issues Found -================ +- The analyzer warns when virtual calls are made from constructors or + destructors. This check is off by default but can be enabled by passing the + following command to scan-build: -enable-checker optin.cplusplus.VirtualCall. +- The analyzer checks for synthesized copy properties of mutable types in + Objective C, such as NSMutableArray. Calling the setter for these properties + will store an immutable copy of the value. +- The analyzer checks for calls to dispatch_once() that use an Objective-C + instance variable as the predicate. Using an instance variable as a predicate + may result in the passed-in block being executed multiple times or not at all. + These calls should be rewritten either to use a lock or to store the predicate + in a global or static variable. +- The analyzer checks for unintended comparisons of NSNumber, CFNumberRef, and + other Cocoa number objects to scalar values. -- ... Python Binding Changes ---------------------- -- cgit v1.2.3