mirror of
https://github.com/llvm/llvm-project.git
synced 2025-05-02 11:46:07 +00:00
696e505278
Originally, we weren't able to match on Type nodes themselves (only QualType), so the hasDeclaration matcher was initially written to give what we thought are reasonable results for QualType matches. When we chagned the matchers to allow matching on Type nodes, it turned out that the hasDeclaration matcher was by chance written templated enough to now allow hasDeclaration to also match on (some) Type nodes. This patch change the hasDeclaration matcher to: a) work the same on Type and QualType nodes, b) be completely explicit about what nodes we can match instead of just allowing anything with a getDecl() to match, c) explicitly control desugaring only one level in very specific instances. d) adds hasSpecializedTemplate and tagType matchers to allow migrating existing use cases that now need more explicit matchers Note: This patch breaks clang-tools-extra. The corresponding patch there is approved and will land in a subsequent patch. Differential Revision: https://reviews.llvm.org/D27104 llvm-svn: 309809
238 lines
6.1 KiB
ReStructuredText
238 lines
6.1 KiB
ReStructuredText
=======================================
|
|
Clang 6.0.0 (In-Progress) Release Notes
|
|
=======================================
|
|
|
|
.. contents::
|
|
:local:
|
|
:depth: 2
|
|
|
|
Written by the `LLVM Team <http://llvm.org/>`_
|
|
|
|
.. warning::
|
|
|
|
These are in-progress notes for the upcoming Clang 6 release.
|
|
Release notes for previous releases can be found on
|
|
`the Download Page <http://releases.llvm.org/download.html>`_.
|
|
|
|
Introduction
|
|
============
|
|
|
|
This document contains the release notes for the Clang C/C++/Objective-C
|
|
frontend, part of the LLVM Compiler Infrastructure, release 6.0.0. Here we
|
|
describe the status of Clang in some detail, including major
|
|
improvements from the previous release and new feature work. For the
|
|
general LLVM release notes, see `the LLVM
|
|
documentation <http://llvm.org/docs/ReleaseNotes.html>`_. All LLVM
|
|
releases may be downloaded from the `LLVM releases web
|
|
site <http://llvm.org/releases/>`_.
|
|
|
|
For more information about Clang or LLVM, including information about
|
|
the latest release, please check out the main please see the `Clang Web
|
|
Site <http://clang.llvm.org>`_ or the `LLVM Web
|
|
Site <http://llvm.org>`_.
|
|
|
|
Note that if you are reading this file from a Subversion checkout or the
|
|
main Clang web page, this document applies to the *next* release, not
|
|
the current one. To see the release notes for a specific release, please
|
|
see the `releases page <http://llvm.org/releases/>`_.
|
|
|
|
What's New in Clang 6.0.0?
|
|
==========================
|
|
|
|
Some of the major new features and improvements to Clang are listed
|
|
here. Generic improvements to Clang as a whole or to its underlying
|
|
infrastructure are described first, followed by language-specific
|
|
sections with improvements to Clang's support for those languages.
|
|
|
|
Major New Features
|
|
------------------
|
|
|
|
- ...
|
|
|
|
Improvements to Clang's diagnostics
|
|
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
|
|
|
- ``-Wpragma-pack`` is a new warning that warns in the following cases:
|
|
|
|
- When a translation unit is missing terminating ``#pragma pack (pop)``
|
|
directives.
|
|
|
|
- When leaving an included file that changes the current alignment value,
|
|
i.e. when the alignment before ``#include`` is different to the alignment
|
|
after ``#include``.
|
|
|
|
- ``-Wpragma-pack-suspicious-include`` (disabled by default) warns on an
|
|
``#include`` when the included file contains structures or unions affected by
|
|
a non-default alignment that has been specified using a ``#pragma pack``
|
|
directive prior to the ``#include``.
|
|
|
|
Non-comprehensive list of changes in this release
|
|
-------------------------------------------------
|
|
|
|
- Bitrig OS was merged back into OpenBSD, so Bitrig support has been
|
|
removed from Clang/LLVM.
|
|
|
|
New Compiler Flags
|
|
------------------
|
|
|
|
The option ....
|
|
|
|
Deprecated Compiler Flags
|
|
-------------------------
|
|
|
|
The following options are deprecated and ignored. They will be removed in
|
|
future versions of Clang.
|
|
|
|
- ...
|
|
|
|
New Pragmas in Clang
|
|
-----------------------
|
|
|
|
Clang now supports the ...
|
|
|
|
|
|
Attribute Changes in Clang
|
|
--------------------------
|
|
|
|
- ...
|
|
|
|
Windows Support
|
|
---------------
|
|
|
|
Clang's support for building native Windows programs ...
|
|
|
|
|
|
C Language Changes in Clang
|
|
---------------------------
|
|
|
|
- ...
|
|
|
|
...
|
|
|
|
C11 Feature Support
|
|
^^^^^^^^^^^^^^^^^^^
|
|
|
|
...
|
|
|
|
C++ Language Changes in Clang
|
|
-----------------------------
|
|
|
|
...
|
|
|
|
C++1z Feature Support
|
|
^^^^^^^^^^^^^^^^^^^^^
|
|
|
|
...
|
|
|
|
Objective-C Language Changes in Clang
|
|
-------------------------------------
|
|
|
|
...
|
|
|
|
OpenCL C Language Changes in Clang
|
|
----------------------------------
|
|
|
|
...
|
|
|
|
OpenMP Support in Clang
|
|
----------------------------------
|
|
|
|
...
|
|
|
|
Internal API Changes
|
|
--------------------
|
|
|
|
These are major API changes that have happened since the 4.0.0 release of
|
|
Clang. If upgrading an external codebase that uses Clang as a library,
|
|
this section should help get you past the largest hurdles of upgrading.
|
|
|
|
- ...
|
|
|
|
AST Matchers
|
|
------------
|
|
|
|
The hasDeclaration matcher now works the same for Type and QualType and only
|
|
ever looks through one level of sugaring in a limited number of cases.
|
|
|
|
There are two main patterns affected by this:
|
|
|
|
- qualType(hasDeclaration(recordDecl(...))): previously, we would look through
|
|
sugar like TypedefType to get at the underlying recordDecl; now, we need
|
|
to explicitly remove the sugaring:
|
|
qualType(hasUnqualifiedDesugaredType(hasDeclaration(recordDecl(...))))
|
|
|
|
- hasType(recordDecl(...)): hasType internally uses hasDeclaration; previously,
|
|
this matcher used to match for example TypedefTypes of the RecordType, but
|
|
after the change they don't; to fix, use:
|
|
|
|
::
|
|
hasType(hasUnqualifiedDesugaredType(
|
|
recordType(hasDeclaration(recordDecl(...)))))
|
|
|
|
- templateSpecializationType(hasDeclaration(classTemplateDecl(...))):
|
|
previously, we would directly match the underlying ClassTemplateDecl;
|
|
now, we can explicitly match the ClassTemplateSpecializationDecl, but that
|
|
requires to explicitly get the ClassTemplateDecl:
|
|
|
|
::
|
|
templateSpecializationType(hasDeclaration(
|
|
classTemplateSpecializationDecl(
|
|
hasSpecializedTemplate(classTemplateDecl(...)))))
|
|
|
|
clang-format
|
|
------------
|
|
|
|
...
|
|
|
|
libclang
|
|
--------
|
|
|
|
...
|
|
|
|
|
|
Static Analyzer
|
|
---------------
|
|
|
|
...
|
|
|
|
Undefined Behavior Sanitizer (UBSan)
|
|
------------------------------------
|
|
|
|
The C++ dynamic type check now requires run-time null checking (i.e,
|
|
`-fsanitize=vptr` cannot be used without `-fsanitize=null`). This change does
|
|
not impact users who rely on UBSan check groups (e.g `-fsanitize=undefined`).
|
|
|
|
Core Analysis Improvements
|
|
==========================
|
|
|
|
- ...
|
|
|
|
New Issues Found
|
|
================
|
|
|
|
- ...
|
|
|
|
Python Binding Changes
|
|
----------------------
|
|
|
|
The following methods have been added:
|
|
|
|
- ...
|
|
|
|
Significant Known Problems
|
|
==========================
|
|
|
|
Additional Information
|
|
======================
|
|
|
|
A wide variety of additional information is available on the `Clang web
|
|
page <http://clang.llvm.org/>`_. The web page contains versions of the
|
|
API documentation which are up-to-date with the Subversion version of
|
|
the source code. You can access versions of these documents specific to
|
|
this release by going into the "``clang/docs/``" directory in the Clang
|
|
tree.
|
|
|
|
If you have any questions or comments about Clang, please feel free to
|
|
contact us via the `mailing
|
|
list <http://lists.llvm.org/mailman/listinfo/cfe-dev>`_.
|