Hans Wennborg | 60d06bf | 2016-07-18 18:05:19 +0000 | [diff] [blame] | 1 | ======================================= |
Hans Wennborg | fbb21e0 | 2017-07-19 14:14:07 +0000 | [diff] [blame] | 2 | Clang 6.0.0 (In-Progress) Release Notes |
Hans Wennborg | 60d06bf | 2016-07-18 18:05:19 +0000 | [diff] [blame] | 3 | ======================================= |
Sean Silva | fe25144 | 2012-12-23 01:19:35 +0000 | [diff] [blame] | 4 | |
| 5 | .. contents:: |
| 6 | :local: |
| 7 | :depth: 2 |
| 8 | |
| 9 | Written by the `LLVM Team <http://llvm.org/>`_ |
| 10 | |
| 11 | .. warning:: |
| 12 | |
Hans Wennborg | fbb21e0 | 2017-07-19 14:14:07 +0000 | [diff] [blame] | 13 | These are in-progress notes for the upcoming Clang 6 release. |
Hans Wennborg | 189f1f3 | 2017-02-09 23:26:34 +0000 | [diff] [blame] | 14 | Release notes for previous releases can be found on |
| 15 | `the Download Page <http://releases.llvm.org/download.html>`_. |
Sean Silva | fe25144 | 2012-12-23 01:19:35 +0000 | [diff] [blame] | 16 | |
| 17 | Introduction |
| 18 | ============ |
| 19 | |
| 20 | This document contains the release notes for the Clang C/C++/Objective-C |
Hans Wennborg | fbb21e0 | 2017-07-19 14:14:07 +0000 | [diff] [blame] | 21 | frontend, part of the LLVM Compiler Infrastructure, release 6.0.0. Here we |
Sean Silva | fe25144 | 2012-12-23 01:19:35 +0000 | [diff] [blame] | 22 | describe the status of Clang in some detail, including major |
| 23 | improvements from the previous release and new feature work. For the |
| 24 | general LLVM release notes, see `the LLVM |
| 25 | documentation <http://llvm.org/docs/ReleaseNotes.html>`_. All LLVM |
| 26 | releases may be downloaded from the `LLVM releases web |
| 27 | site <http://llvm.org/releases/>`_. |
| 28 | |
| 29 | For more information about Clang or LLVM, including information about |
| 30 | the latest release, please check out the main please see the `Clang Web |
| 31 | Site <http://clang.llvm.org>`_ or the `LLVM Web |
| 32 | Site <http://llvm.org>`_. |
| 33 | |
| 34 | Note that if you are reading this file from a Subversion checkout or the |
| 35 | main Clang web page, this document applies to the *next* release, not |
| 36 | the current one. To see the release notes for a specific release, please |
| 37 | see the `releases page <http://llvm.org/releases/>`_. |
| 38 | |
Hans Wennborg | fbb21e0 | 2017-07-19 14:14:07 +0000 | [diff] [blame] | 39 | What's New in Clang 6.0.0? |
Hans Wennborg | 60d06bf | 2016-07-18 18:05:19 +0000 | [diff] [blame] | 40 | ========================== |
Sean Silva | fe25144 | 2012-12-23 01:19:35 +0000 | [diff] [blame] | 41 | |
| 42 | Some of the major new features and improvements to Clang are listed |
| 43 | here. Generic improvements to Clang as a whole or to its underlying |
| 44 | infrastructure are described first, followed by language-specific |
| 45 | sections with improvements to Clang's support for those languages. |
| 46 | |
| 47 | Major New Features |
| 48 | ------------------ |
| 49 | |
Hans Wennborg | 60d06bf | 2016-07-18 18:05:19 +0000 | [diff] [blame] | 50 | - ... |
Rafael Espindola | 3497069 | 2013-12-12 16:07:11 +0000 | [diff] [blame] | 51 | |
Sean Silva | fe25144 | 2012-12-23 01:19:35 +0000 | [diff] [blame] | 52 | Improvements to Clang's diagnostics |
| 53 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| 54 | |
Alex Lorenz | dbbe822 | 2017-07-31 14:22:43 +0000 | [diff] [blame] | 55 | - ``-Wpragma-pack`` is a new warning that warns in the following cases: |
| 56 | |
| 57 | - When a translation unit is missing terminating ``#pragma pack (pop)`` |
Alex Lorenz | 5174866 | 2017-07-31 14:08:41 +0000 | [diff] [blame] | 58 | directives. |
Alex Lorenz | dbbe822 | 2017-07-31 14:22:43 +0000 | [diff] [blame] | 59 | |
Alex Lorenz | 5174866 | 2017-07-31 14:08:41 +0000 | [diff] [blame] | 60 | - When leaving an included file that changes the current alignment value, |
Alex Lorenz | dbbe822 | 2017-07-31 14:22:43 +0000 | [diff] [blame] | 61 | i.e. when the alignment before ``#include`` is different to the alignment |
| 62 | after ``#include``. |
| 63 | |
| 64 | - ``-Wpragma-pack-suspicious-include`` (disabled by default) warns on an |
| 65 | ``#include`` when the included file contains structures or unions affected by |
| 66 | a non-default alignment that has been specified using a ``#pragma pack`` |
| 67 | directive prior to the ``#include``. |
Sean Silva | fe25144 | 2012-12-23 01:19:35 +0000 | [diff] [blame] | 68 | |
Erich Keane | b0c7809 | 2017-07-26 18:04:45 +0000 | [diff] [blame] | 69 | Non-comprehensive list of changes in this release |
| 70 | ------------------------------------------------- |
| 71 | |
| 72 | - Bitrig OS was merged back into OpenBSD, so Bitrig support has been |
| 73 | removed from Clang/LLVM. |
| 74 | |
Sean Silva | fe25144 | 2012-12-23 01:19:35 +0000 | [diff] [blame] | 75 | New Compiler Flags |
| 76 | ------------------ |
| 77 | |
Sylvestre Ledru | f6b4897 | 2016-11-12 10:37:17 +0000 | [diff] [blame] | 78 | The option .... |
| 79 | |
Joerg Sonnenberger | c919968 | 2017-07-01 21:36:21 +0000 | [diff] [blame] | 80 | Deprecated Compiler Flags |
| 81 | ------------------------- |
| 82 | |
| 83 | The following options are deprecated and ignored. They will be removed in |
| 84 | future versions of Clang. |
| 85 | |
Hans Wennborg | fbb21e0 | 2017-07-19 14:14:07 +0000 | [diff] [blame] | 86 | - ... |
Joerg Sonnenberger | c919968 | 2017-07-01 21:36:21 +0000 | [diff] [blame] | 87 | |
Tyler Nowicki | db2668a | 2014-06-18 00:51:32 +0000 | [diff] [blame] | 88 | New Pragmas in Clang |
| 89 | ----------------------- |
| 90 | |
Rafael Espindola | af74250 | 2014-08-22 21:59:11 +0000 | [diff] [blame] | 91 | Clang now supports the ... |
Mark Heffernan | bd26f5e | 2014-07-21 18:08:34 +0000 | [diff] [blame] | 92 | |
Paul Robinson | f9ede1c | 2016-07-18 17:19:12 +0000 | [diff] [blame] | 93 | |
| 94 | Attribute Changes in Clang |
| 95 | -------------------------- |
| 96 | |
Hans Wennborg | fbb21e0 | 2017-07-19 14:14:07 +0000 | [diff] [blame] | 97 | - ... |
Paul Robinson | f9ede1c | 2016-07-18 17:19:12 +0000 | [diff] [blame] | 98 | |
Hans Wennborg | 02dc000 | 2014-08-05 00:21:23 +0000 | [diff] [blame] | 99 | Windows Support |
| 100 | --------------- |
| 101 | |
Rafael Espindola | af74250 | 2014-08-22 21:59:11 +0000 | [diff] [blame] | 102 | Clang's support for building native Windows programs ... |
Hans Wennborg | 02dc000 | 2014-08-05 00:21:23 +0000 | [diff] [blame] | 103 | |
| 104 | |
Renato Golin | f2fcddb | 2013-12-13 09:27:34 +0000 | [diff] [blame] | 105 | C Language Changes in Clang |
| 106 | --------------------------- |
| 107 | |
Hans Wennborg | 60d06bf | 2016-07-18 18:05:19 +0000 | [diff] [blame] | 108 | - ... |
Pirama Arumuga Nainar | c85c853 | 2016-06-21 16:09:30 +0000 | [diff] [blame] | 109 | |
Renato Golin | f2fcddb | 2013-12-13 09:27:34 +0000 | [diff] [blame] | 110 | ... |
| 111 | |
Sean Silva | fe25144 | 2012-12-23 01:19:35 +0000 | [diff] [blame] | 112 | C11 Feature Support |
| 113 | ^^^^^^^^^^^^^^^^^^^ |
| 114 | |
| 115 | ... |
| 116 | |
| 117 | C++ Language Changes in Clang |
| 118 | ----------------------------- |
| 119 | |
Richard Smith | 8eb53c8 | 2016-05-05 18:40:37 +0000 | [diff] [blame] | 120 | ... |
| 121 | |
| 122 | C++1z Feature Support |
Sean Silva | fe25144 | 2012-12-23 01:19:35 +0000 | [diff] [blame] | 123 | ^^^^^^^^^^^^^^^^^^^^^ |
| 124 | |
| 125 | ... |
| 126 | |
| 127 | Objective-C Language Changes in Clang |
| 128 | ------------------------------------- |
| 129 | |
| 130 | ... |
| 131 | |
Erik Schnetter | 489700d | 2013-11-11 06:36:33 +0000 | [diff] [blame] | 132 | OpenCL C Language Changes in Clang |
| 133 | ---------------------------------- |
| 134 | |
Bill Wendling | 0a794a4b | 2013-11-20 10:13:37 +0000 | [diff] [blame] | 135 | ... |
Erik Schnetter | 489700d | 2013-11-11 06:36:33 +0000 | [diff] [blame] | 136 | |
Alexey Bataev | 44b6750 | 2016-05-31 11:17:08 +0000 | [diff] [blame] | 137 | OpenMP Support in Clang |
| 138 | ---------------------------------- |
| 139 | |
Hans Wennborg | 60d06bf | 2016-07-18 18:05:19 +0000 | [diff] [blame] | 140 | ... |
Alexey Bataev | 44b6750 | 2016-05-31 11:17:08 +0000 | [diff] [blame] | 141 | |
Sean Silva | fe25144 | 2012-12-23 01:19:35 +0000 | [diff] [blame] | 142 | Internal API Changes |
| 143 | -------------------- |
| 144 | |
Hans Wennborg | 159d6ad | 2017-01-12 21:55:16 +0000 | [diff] [blame] | 145 | These are major API changes that have happened since the 4.0.0 release of |
Sean Silva | fe25144 | 2012-12-23 01:19:35 +0000 | [diff] [blame] | 146 | Clang. If upgrading an external codebase that uses Clang as a library, |
| 147 | this section should help get you past the largest hurdles of upgrading. |
| 148 | |
Vedant Kumar | 5fb00e4 | 2016-07-27 23:01:55 +0000 | [diff] [blame] | 149 | - ... |
Richard Smith | a0334a9 | 2015-05-14 00:22:12 +0000 | [diff] [blame] | 150 | |
Aaron Ballman | cdc43af | 2015-09-17 13:47:22 +0000 | [diff] [blame] | 151 | AST Matchers |
| 152 | ------------ |
Aaron Ballman | cdc43af | 2015-09-17 13:47:22 +0000 | [diff] [blame] | 153 | |
Manuel Klimek | 696e505 | 2017-08-02 13:04:44 +0000 | [diff] [blame^] | 154 | The hasDeclaration matcher now works the same for Type and QualType and only |
| 155 | ever looks through one level of sugaring in a limited number of cases. |
Aaron Ballman | cdc43af | 2015-09-17 13:47:22 +0000 | [diff] [blame] | 156 | |
Manuel Klimek | 696e505 | 2017-08-02 13:04:44 +0000 | [diff] [blame^] | 157 | There are two main patterns affected by this: |
| 158 | |
| 159 | - qualType(hasDeclaration(recordDecl(...))): previously, we would look through |
| 160 | sugar like TypedefType to get at the underlying recordDecl; now, we need |
| 161 | to explicitly remove the sugaring: |
| 162 | qualType(hasUnqualifiedDesugaredType(hasDeclaration(recordDecl(...)))) |
| 163 | |
| 164 | - hasType(recordDecl(...)): hasType internally uses hasDeclaration; previously, |
| 165 | this matcher used to match for example TypedefTypes of the RecordType, but |
| 166 | after the change they don't; to fix, use: |
| 167 | |
| 168 | :: |
| 169 | hasType(hasUnqualifiedDesugaredType( |
| 170 | recordType(hasDeclaration(recordDecl(...))))) |
| 171 | |
| 172 | - templateSpecializationType(hasDeclaration(classTemplateDecl(...))): |
| 173 | previously, we would directly match the underlying ClassTemplateDecl; |
| 174 | now, we can explicitly match the ClassTemplateSpecializationDecl, but that |
| 175 | requires to explicitly get the ClassTemplateDecl: |
| 176 | |
| 177 | :: |
| 178 | templateSpecializationType(hasDeclaration( |
| 179 | classTemplateSpecializationDecl( |
| 180 | hasSpecializedTemplate(classTemplateDecl(...))))) |
Sylvestre Ledru | 72e3fa7 | 2017-03-14 09:43:55 +0000 | [diff] [blame] | 181 | |
| 182 | clang-format |
| 183 | ------------ |
| 184 | |
Hans Wennborg | fbb21e0 | 2017-07-19 14:14:07 +0000 | [diff] [blame] | 185 | ... |
Sylvestre Ledru | 72e3fa7 | 2017-03-14 09:43:55 +0000 | [diff] [blame] | 186 | |
Ted Kremenek | 3a2291b | 2013-04-24 07:33:52 +0000 | [diff] [blame] | 187 | libclang |
| 188 | -------- |
| 189 | |
Bill Wendling | 61f44cc | 2013-06-04 06:17:46 +0000 | [diff] [blame] | 190 | ... |
Ted Kremenek | 3a2291b | 2013-04-24 07:33:52 +0000 | [diff] [blame] | 191 | |
Sylvestre Ledru | ea49d3a | 2016-08-06 20:23:54 +0000 | [diff] [blame] | 192 | |
Anna Zaks | b6219a9 | 2013-04-25 23:14:38 +0000 | [diff] [blame] | 193 | Static Analyzer |
Ted Kremenek | 004e823 | 2013-04-26 00:01:34 +0000 | [diff] [blame] | 194 | --------------- |
Anna Zaks | b6219a9 | 2013-04-25 23:14:38 +0000 | [diff] [blame] | 195 | |
Bill Wendling | 0a794a4b | 2013-11-20 10:13:37 +0000 | [diff] [blame] | 196 | ... |
Ted Kremenek | 004e823 | 2013-04-26 00:01:34 +0000 | [diff] [blame] | 197 | |
Vedant Kumar | 840c2c7 | 2017-06-13 02:52:31 +0000 | [diff] [blame] | 198 | Undefined Behavior Sanitizer (UBSan) |
| 199 | ------------------------------------ |
| 200 | |
Vedant Kumar | bbc953f | 2017-07-25 19:34:23 +0000 | [diff] [blame] | 201 | The C++ dynamic type check now requires run-time null checking (i.e, |
| 202 | `-fsanitize=vptr` cannot be used without `-fsanitize=null`). This change does |
| 203 | not impact users who rely on UBSan check groups (e.g `-fsanitize=undefined`). |
Vedant Kumar | 840c2c7 | 2017-06-13 02:52:31 +0000 | [diff] [blame] | 204 | |
Ted Kremenek | 004e823 | 2013-04-26 00:01:34 +0000 | [diff] [blame] | 205 | Core Analysis Improvements |
| 206 | ========================== |
| 207 | |
Bill Wendling | 61f44cc | 2013-06-04 06:17:46 +0000 | [diff] [blame] | 208 | - ... |
Ted Kremenek | 004e823 | 2013-04-26 00:01:34 +0000 | [diff] [blame] | 209 | |
| 210 | New Issues Found |
| 211 | ================ |
| 212 | |
Bill Wendling | 61f44cc | 2013-06-04 06:17:46 +0000 | [diff] [blame] | 213 | - ... |
Anna Zaks | b6219a9 | 2013-04-25 23:14:38 +0000 | [diff] [blame] | 214 | |
Sean Silva | fe25144 | 2012-12-23 01:19:35 +0000 | [diff] [blame] | 215 | Python Binding Changes |
| 216 | ---------------------- |
| 217 | |
| 218 | The following methods have been added: |
| 219 | |
| 220 | - ... |
| 221 | |
| 222 | Significant Known Problems |
| 223 | ========================== |
| 224 | |
| 225 | Additional Information |
| 226 | ====================== |
| 227 | |
| 228 | A wide variety of additional information is available on the `Clang web |
| 229 | page <http://clang.llvm.org/>`_. The web page contains versions of the |
| 230 | API documentation which are up-to-date with the Subversion version of |
| 231 | the source code. You can access versions of these documents specific to |
| 232 | this release by going into the "``clang/docs/``" directory in the Clang |
| 233 | tree. |
| 234 | |
| 235 | If you have any questions or comments about Clang, please feel free to |
| 236 | contact us via the `mailing |
Tanya Lattner | 4a08e93 | 2015-08-05 03:55:23 +0000 | [diff] [blame] | 237 | list <http://lists.llvm.org/mailman/listinfo/cfe-dev>`_. |