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

[Hans Wennborg via Phabricator via cfe-commits]

This revision was automatically updated to reflect the committed changes.
Closed by commit rL370166: [analyzer] Add 9.0.0. release notes. (authored by 
hans, committed by ).
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

Changed prior to commit:
  https://reviews.llvm.org/D66765?vs=217564&id=217577#toc

Repository:
  rL LLVM

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D66765/new/

https://reviews.llvm.org/D66765

Files:
  cfe/branches/release_90/docs/ClangStaticAnalyzer.rst
  cfe/branches/release_90/docs/ReleaseNotes.rst


Index: cfe/branches/release_90/docs/ReleaseNotes.rst
===
--- cfe/branches/release_90/docs/ReleaseNotes.rst
+++ cfe/branches/release_90/docs/ReleaseNotes.rst
@@ -325,10 +325,57 @@
 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 `.
+
 - 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:
 
Index: cfe/branches/release_90/docs/ClangStaticAnalyzer.rst
===
--- cfe/branches/release_90/docs/ClangStaticAnalyzer.rst
+++ cfe/branches/release_90/docs/ClangStaticAnalyzer.rst
@@ -2,6 +2,8 @@
 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.
 


Index: cfe/branches/release_90/docs/ReleaseNotes.rst
===
--- cfe/branches/release_90/docs/ReleaseNotes.rst
+++ cfe/branches/release_90/docs/ReleaseNotes.rst
@@ -325,10 +325,57 @@
 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 `.
+
 - 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

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

[Kristóf Umann via Phabricator via cfe-commits]

Szelethus marked 10 inline comments as done.
Szelethus added a comment.

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*




Comment at: clang/docs/ReleaseNotes.rst:251
+
+  - ``-analyzer-checker-help-alpha``: The list of incomplet and inkorrekt
+checkers not yet advised to be turned on.

NoQ wrote:
> xbolva00 wrote:
> > Please fix this
> I think this was supposed to be a joke but i don't insist^^
Let's reserve jokes for greater depths within the developer docs :^)


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D66765/new/

https://reviews.llvm.org/D66765



___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

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

[Kristóf Umann via Phabricator via cfe-commits]

Szelethus updated this revision to Diff 217564.
Szelethus added a comment.

Fixing inlines!


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D66765/new/

https://reviews.llvm.org/D66765

Files:
  clang/docs/ClangStaticAnalyzer.rst
  clang/docs/ReleaseNotes.rst


Index: clang/docs/ReleaseNotes.rst
===
--- clang/docs/ReleaseNotes.rst
+++ clang/docs/ReleaseNotes.rst
@@ -222,10 +222,57 @@
 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 `.
+
 - 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:
 
Index: clang/docs/ClangStaticAnalyzer.rst
===
--- clang/docs/ClangStaticAnalyzer.rst
+++ clang/docs/ClangStaticAnalyzer.rst
@@ -2,6 +2,8 @@
 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.
 


Index: clang/docs/ReleaseNotes.rst
===
--- clang/docs/ReleaseNotes.rst
+++ clang/docs/ReleaseNotes.rst
@@ -222,10 +222,57 @@
 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 `.
+
 - 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: ``-

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

[David CARLIER via Phabricator via cfe-commits]

devnexen added inline comments.



Comment at: clang/docs/ReleaseNotes.rst:240
+
+- The Static Analyzer recieved a
+  :ref:`developer documentation `.

typo `recieved`


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D66765/new/

https://reviews.llvm.org/D66765



___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

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

[Gabor Marton via Phabricator via cfe-commits]

martong added inline comments.



Comment at: clang/docs/ReleaseNotes.rst:269
+
+- New frontend flag: ``-analyzer-werror`` to turn analyzer warnings into 
errors.
 

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.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D66765/new/

https://reviews.llvm.org/D66765



___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

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

[Hans Wennborg via Phabricator via cfe-commits]

hans added a comment.

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.




Comment at: clang/docs/ReleaseNotes.rst:237-238
+
+- New package: 'apiModeling.llvm' contains modeling checkers to improve the
+  accuracy of reports on LLVM's codebase.
+

NoQ wrote:
> NoQ wrote:
> > "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.
> >>! 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.
"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.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D66765/new/

https://reviews.llvm.org/D66765



___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

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

[Artem Dergachev via Phabricator via cfe-commits]

NoQ accepted this revision.
NoQ added a comment.
This revision is now accepted and ready to land.

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.




Comment at: clang/docs/ReleaseNotes.rst:235
+
+- New checker: 'optin.osx.OSObjectCStyleCast' to find C-style casts of 
OSObjects
+

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



Comment at: clang/docs/ReleaseNotes.rst:237-238
+
+- New package: 'apiModeling.llvm' contains modeling checkers to improve the
+  accuracy of reports on LLVM's codebase.
+

NoQ wrote:
> "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.
>>! 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.



Comment at: clang/docs/ReleaseNotes.rst:251
+
+  - ``-analyzer-checker-help-alpha``: The list of incomplet and inkorrekt
+checkers not yet advised to be turned on.

xbolva00 wrote:
> Please fix this
I think this was supposed to be a joke but i don't insist^^


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D66765/new/

https://reviews.llvm.org/D66765



___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

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

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added inline comments.



Comment at: clang/docs/ReleaseNotes.rst:237-238
+
+- New package: 'apiModeling.llvm' contains modeling checkers to improve the
+  accuracy of reports on LLVM's codebase.
+

"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.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D66765/new/

https://reviews.llvm.org/D66765



___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

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

[Dávid Bolvanský via Phabricator via cfe-commits]

xbolva00 added inline comments.



Comment at: clang/docs/ReleaseNotes.rst:251
+
+  - ``-analyzer-checker-help-alpha``: The list of incomplet and inkorrekt
+checkers not yet advised to be turned on.

Please fix this


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D66765/new/

https://reviews.llvm.org/D66765



___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

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

[Dávid Bolvanský via Phabricator via cfe-commits]

xbolva00 added inline comments.



Comment at: clang/docs/ReleaseNotes.rst:263
+
+  - ``-analyzer-checker-option-help-alpha``: The list of incomplet and 
inkorrekt
+not yet advised to be specified.

Detto


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D66765/new/

https://reviews.llvm.org/D66765



___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

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

[Kristóf Umann via Phabricator via cfe-commits]

Szelethus added a comment.

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


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D66765/new/

https://reviews.llvm.org/D66765



___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

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

[Kristóf Umann via Phabricator via cfe-commits]

Szelethus created this revision.
Szelethus added reviewers: NoQ, xazax.hun, dcoughlin, Charusso, 
baloghadamsoftware, a_sidorin, martong, balazske, rnkovacs, dkrupp, whisperity.
Szelethus added a project: clang.
Herald added subscribers: cfe-commits, gamesh411, donat.nagy, mikhail.ramalho, 
a.sidorin, szepet.
Szelethus added a reviewer: hans.
Szelethus added a comment.

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


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).


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D66765

Files:
  clang/docs/ClangStaticAnalyzer.rst
  clang/docs/ReleaseNotes.rst


Index: clang/docs/ReleaseNotes.rst
===
--- clang/docs/ReleaseNotes.rst
+++ clang/docs/ReleaseNotes.rst
@@ -222,10 +222,51 @@
 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 
OSObjects
+
+- New package: 'apiModeling.llvm' contains modeling checkers to improve the
+  accuracy of reports on LLVM's codebase.
+
+- The Static Analyzer recieved a
+  :ref:`developer documentation `.
+
 - 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 incomplet and inkorrekt
+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 incomplet and 
inkorrekt
+not yet advised to be specified.
+
+  - ``-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.
 
 .. _release-notes-ubsan:
 
Index: clang/docs/ClangStaticAnalyzer.rst
===
--- clang/docs/ClangStaticAnalyzer.rst
+++ clang/docs/ClangStaticAnalyzer.rst
@@ -2,6 +2,8 @@
 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.
 


Index: clang/docs/ReleaseNotes.rst
===
--- clang/docs/ReleaseNotes.rst
+++ clang/docs/ReleaseNotes.rst
@@ -222,10 +222,51 @@
 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 OSObjects
+
+- New package: 'apiModeling.llvm' contains modeling checkers to improve the
+  accuracy of reports on LLVM's codebase.
+
+- The Static Analyzer recieved a
+  :ref:`developer documentation `.
+
 - 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 incomplet and inkorrekt
+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 packa