diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2017-08-20 21:03:30 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2017-08-20 21:03:30 +0000 |
| commit | 6aa46a19c56750e17f7acedc47d95111fd2dcd5d (patch) | |
| tree | e34ae427575758352981df5376a2975e2dbcd403 /docs | |
| parent | ffe56ea4c355b82c6fdbed4befc7fe3b956e35a2 (diff) | |
Vendor import of clang release_50 branch r311219:vendor/clang/clang-release_50-r311219
Notes
svn path=/vendor/clang/dist/; revision=322729
svn path=/vendor/clang/clang-release_50-r311219/; revision=322730; tag=vendor/clang/clang-release_50-r311219
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/ReleaseNotes.rst | 22 |
1 files changed, 20 insertions, 2 deletions
diff --git a/docs/ReleaseNotes.rst b/docs/ReleaseNotes.rst index deffa24c4e42..982abb024525 100644 --- a/docs/ReleaseNotes.rst +++ b/docs/ReleaseNotes.rst @@ -61,7 +61,7 @@ Improvements to Clang's diagnostics New Compiler Flags ------------------ -The option .... +- --autocomplete was implemented to obtain a list of flags and its arguments. This is used for shell autocompletion. Deprecated Compiler Flags ------------------------- @@ -200,7 +200,13 @@ libclang Static Analyzer --------------- -... +- The static analyzer now supports using the + `z3 theorem prover <https://github.com/z3prover/z3>`_ from Microsoft Research + as an external constraint solver. This allows reasoning over more complex + queries, but performance is ~15x slower than the default range-based + constraint solver. To enable the z3 solver backend, clang must be built with + the ``CLANG_ANALYZER_BUILD_Z3=ON`` option, and the + ``-Xanalyzer -analyzer-constraints=z3`` arguments passed at runtime. Undefined Behavior Sanitizer (UBSan) ------------------------------------ @@ -240,8 +246,20 @@ New Issues Found Python Binding Changes ---------------------- +Python bindings now support both Python 2 and Python 3. + The following methods have been added: +- ``is_scoped_enum`` has been added to ``Cursor``. + +- ``exception_specification_kind`` has been added to ``Cursor``. + +- ``get_address_space`` has been added to ``Type``. + +- ``get_typedef_name`` has been added to ``Type``. + +- ``get_exception_specification_kind`` has been added to ``Type``. + - ... Significant Known Problems |