[analyzer] (Urgent!) Add 9.0.0. release notes.

[Szelethus]

Summary

I wanted to do this a lot sooner, but I guess better now than never. Please chip in, I may have missed some important patches (especially osx or CTU ones).

[Szelethus]

Please note that LLVM 9.0.0-final is due on the 28th of August.

[xbolva00]

clang/docs/ReleaseNotes.rst

252

Please fix this

264

Detto

[NoQ]

clang/docs/ReleaseNotes.rst

237–238

"On LLVM's own codebase" :)

@Charusso: I think we need to cherry-pick all of our latest patches to this checker to 9.0 because otherwise it'll be crashing with the isValidBaseClass() assertion.

[NoQ]

I approve the patch and i don't see anything obvious that we're missing out (@Szelethus, your GSoC isn't on by default back in 9.0, only in master, right?).

I guess we should really try harder to fill it in with every patch that deserves it.

clang/docs/ReleaseNotes.rst

235

"of XNU libkern OSObjects", so that it sounded less esoteric :/

237–238

In D66765#1645726, @Szelethus wrote:

Please note that LLVM 9.0.0-final is due on the 28th of August.

Mmm, most likely too late.

252

I think this was supposed to be a joke but i don't insist^^

[hans]

In D66765#1645726, @Szelethus wrote:

Please note that LLVM 9.0.0-final is due on the 28th of August.

There are still a lot of open bugs, so it will probably slip at least a little.

clang/docs/ReleaseNotes.rst

237–238

"all of our latest patches" sounds like a lot, so yeah probably too late.

If it's broken, maybe don't point it out in the release notes. Fixes can go in 9.0.1.

[martong]

clang/docs/ReleaseNotes.rst

270

Could you please also add:

• Numerous` ASTImporter` related fixes and improvements which increase the stability of CTU.
• CTU is enabled to inline virtual functions too.

[devnexen]

clang/docs/ReleaseNotes.rst

240

typo recieved

[Szelethus]

Fixing inlines!

[Szelethus]

In D66765#1646237, @NoQ wrote:

I approve the patch and i don't see anything obvious that we're missing out (@Szelethus, your GSoC isn't on by default back in 9.0, only in master, right?).

Precisely.

I guess we should really try harder to fill it in with every patch that deserves it.

*judges everyone who lets any important patch through without adding it to the release notes from now on*

clang/docs/ReleaseNotes.rst

252

Let's reserve jokes for greater depths within the developer docs :^)

clang/docs/ClangStaticAnalyzer.rst

 =====================
 Clang Static Analyzer
 =====================
 
+.. _clang-static-analyzer-docs:
+
 The Clang Static Analyzer is a source code analysis tool that finds bugs in C, C++, and Objective-C programs.
 It implements *path-sensitive*, *inter-procedural analysis* based on *symbolic execution* technique.
 
 This is the Static Analyzer documentation page.
 
 See the `Official Tool Page <https://clang-analyzer.llvm.org/>`_.
 
 .. toctree::
    :caption: Table of Contents
    :numbered:
    :maxdepth: 2
 
    analyzer/checkers
    analyzer/user-docs
    analyzer/developer-docs
 

clang/docs/ReleaseNotes.rst

- When `CINDEXTEST_INCLUDE_ATTRIBUTED_TYPES` is not provided when making a
   modified type if the user does not want attribute sugar. The equivalent type
   represents the minimally-desugared type which the AttributedType is
   canonically equivalent to.
 
 
 Static Analyzer
 ---------------
 
+- Fixed a bug where an incorrect checker name would be displayed for a bug
+  report.`
+
+- New checker: 'security.insecureAPI.DeprecatedOrUnsafeBufferHandling' to detect
+  uses of unsafe/deprecated buffer handling functions for C code using the C11
+  standard or newer.
+
+- New checker: 'osx.MIGChecker' to find violations of the Mach Interface
+  Generator calling convention
+
+- New checker: 'optin.osx.OSObjectCStyleCast' to find C-style casts of of XNU
+  libkern OSObjects
+
+- New package: 'apiModeling.llvm' contains modeling checkers to improve the
+  accuracy of reports on LLVM's own codebase.
+
+- The Static Analyzer received a
+  :ref:`developer documentation <clang-static-analyzer-docs>`.
+
 - The UninitializedObject checker is now considered as stable.
   (moved from the 'alpha.cplusplus' to the 'optin.cplusplus' package)
 
-...
+- New frontend flags: The list of available checkers are now split into 3
+  different frontend flags:
+
+  - ``-analyzer-checker-help``: The list of user-facing, stable checkers.
+
+  - ``-analyzer-checker-help-alpha``: The list of in-development
+    checkers not yet advised to be turned on.
+
+  - ``-analyzer-checker-help-developer``: Checkers never meant to be
+    enabled/disabled by hand + development checkers.
+
+- New frontend flags: While they have always been around, for the first time,
+  checker and package options are listable:
+
+  - ``-analyzer-checker-option-help``: The list of user-facing, stable checker
+    and package options.
+
+  - ``-analyzer-checker-option-help-alpha``: The list of in-development checker
+    options not yet advised to be used.
+
+  - ``-analyzer-checker-option-help-developer``: Options never meant to be
+    enabled/disabled by hand + development options.
+
+- New frontend flag: ``-analyzer-werror`` to turn analyzer warnings into errors.
+
+- Numerous fixes to increase the stability of the experimental cross translation
+  unit analysis (CTU).
+
+- CTU now handles virtual functions as well.
 
 .. _release-notes-ubsan:
 
 Undefined Behavior Sanitizer (UBSan)
 ------------------------------------
 
 - ...