Hans Wennborg | 60d06bf | 2016-07-18 18:05:19 +0000 | [diff] [blame] | 1 | ======================================= |
Hans Wennborg | 7b852ea | 2018-01-03 15:49:39 +0000 | [diff] [blame] | 2 | Clang 7.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 | 7b852ea | 2018-01-03 15:49:39 +0000 | [diff] [blame] | 13 | These are in-progress notes for the upcoming Clang 7 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 | 7b852ea | 2018-01-03 15:49:39 +0000 | [diff] [blame] | 21 | frontend, part of the LLVM Compiler Infrastructure, release 7.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 | |
Hans Wennborg | d878ca8 | 2017-08-30 18:35:44 +0000 | [diff] [blame] | 29 | For more information about Clang or LLVM, including information about the |
| 30 | latest release, please see the `Clang Web Site <http://clang.llvm.org>`_ or the |
| 31 | `LLVM Web Site <http://llvm.org>`_. |
Sean Silva | fe25144 | 2012-12-23 01:19:35 +0000 | [diff] [blame] | 32 | |
| 33 | Note that if you are reading this file from a Subversion checkout or the |
| 34 | main Clang web page, this document applies to the *next* release, not |
| 35 | the current one. To see the release notes for a specific release, please |
| 36 | see the `releases page <http://llvm.org/releases/>`_. |
| 37 | |
Hans Wennborg | 7b852ea | 2018-01-03 15:49:39 +0000 | [diff] [blame] | 38 | What's New in Clang 7.0.0? |
Hans Wennborg | 60d06bf | 2016-07-18 18:05:19 +0000 | [diff] [blame] | 39 | ========================== |
Sean Silva | fe25144 | 2012-12-23 01:19:35 +0000 | [diff] [blame] | 40 | |
| 41 | Some of the major new features and improvements to Clang are listed |
| 42 | here. Generic improvements to Clang as a whole or to its underlying |
| 43 | infrastructure are described first, followed by language-specific |
| 44 | sections with improvements to Clang's support for those languages. |
| 45 | |
| 46 | Major New Features |
| 47 | ------------------ |
| 48 | |
Hans Wennborg | 60d06bf | 2016-07-18 18:05:19 +0000 | [diff] [blame] | 49 | - ... |
Rafael Espindola | 3497069 | 2013-12-12 16:07:11 +0000 | [diff] [blame] | 50 | |
Sean Silva | fe25144 | 2012-12-23 01:19:35 +0000 | [diff] [blame] | 51 | Improvements to Clang's diagnostics |
| 52 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| 53 | |
Roman Lebedev | c9977f3 | 2018-03-16 18:01:07 +0000 | [diff] [blame] | 54 | - ``-Wc++98-compat-extra-semi`` is a new flag, which was previously inseparable |
| 55 | from ``-Wc++98-compat-pedantic``. The latter still controls the new flag. |
| 56 | |
| 57 | - ``-Wextra-semi`` now also controls ``-Wc++98-compat-extra-semi``. |
| 58 | Please do note that if you pass ``-Wno-c++98-compat-pedantic``, it implies |
| 59 | ``-Wno-c++98-compat-extra-semi``, so if you want that diagnostic, you need |
| 60 | to explicitly re-enable it (e.g. by appending ``-Wextra-semi``). |
Roman Lebedev | 809df34 | 2017-10-26 13:18:14 +0000 | [diff] [blame] | 61 | |
Roman Lebedev | 61061d6 | 2018-04-07 10:39:21 +0000 | [diff] [blame] | 62 | - ``-Wself-assign`` and ``-Wself-assign-field`` were extended to diagnose |
| 63 | self-assignment operations using overloaded operators (i.e. classes). |
| 64 | If you are doing such an assignment intentionally, e.g. in a unit test for |
Roman Lebedev | 6ed0fad | 2018-04-23 21:35:21 +0000 | [diff] [blame] | 65 | a data structure, the first warning can be disabled by passing |
| 66 | ``-Wno-self-assign-overloaded``, also the warning can be suppressed by adding |
| 67 | ``*&`` to the right-hand side or casting it to the appropriate reference type. |
Roman Lebedev | 61061d6 | 2018-04-07 10:39:21 +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 | |
Richard Smith | bb0ad1e | 2018-04-03 18:28:13 +0000 | [diff] [blame] | 72 | - Clang binary and libraries have been renamed from 7.0 to 7. |
| 73 | For example, the ``clang`` binary will be called ``clang-7`` |
| 74 | instead of ``clang-7.0``. |
Sylvestre Ledru | a8b717f | 2018-03-29 10:05:46 +0000 | [diff] [blame] | 75 | |
Richard Smith | b6070db | 2018-04-05 18:55:37 +0000 | [diff] [blame] | 76 | - Clang implements a collection of recent fixes to the C++ standard's definition |
| 77 | of "standard-layout". In particular, a class is only considered to be |
| 78 | standard-layout if all base classes and the first data member (or bit-field) |
| 79 | can be laid out at offset zero. |
| 80 | |
Richard Smith | 4ae767b | 2018-04-29 04:55:46 +0000 | [diff] [blame] | 81 | - Clang's handling of the GCC ``packed`` class attribute in C++ has been fixed |
| 82 | to apply only to non-static data members and not to base classes. This fixes |
| 83 | an ABI difference between Clang and GCC, but creates an ABI difference between |
| 84 | Clang 7 and earlier versions. The old behavior can be restored by setting |
| 85 | ``-fclang-abi-compat`` to ``6`` or earlier. |
| 86 | |
Richard Smith | b5a317f | 2018-05-07 06:43:30 +0000 | [diff] [blame] | 87 | - Clang implements the proposed resolution of LWG issue 2358, along with the |
| 88 | `corresponding change to the Itanium C++ ABI |
| 89 | <https://github.com/itanium-cxx-abi/cxx-abi/pull/51>`_, which make classes |
| 90 | containing only unnamed non-zero-length bit-fields be considered non-empty. |
| 91 | This is an ABI break compared to prior Clang releases, but makes Clang |
| 92 | generate code that is ABI-compatible with other compilers. The old |
| 93 | behavior can be restored by setting ``-fclang-abi-compat`` to ``6`` or |
| 94 | lower. |
| 95 | |
Jonas Devlieghere | b48447a | 2018-05-16 10:23:25 +0000 | [diff] [blame] | 96 | - An existing tool named ``diagtool`` has been added to the release. As the |
| 97 | name suggests, it helps with dealing with diagnostics in ``clang``, such as |
| 98 | finding out the warning hierarchy, and which of them are enabled by default |
| 99 | or for a particular compiler invocation. |
| 100 | |
Hans Wennborg | 7b852ea | 2018-01-03 15:49:39 +0000 | [diff] [blame] | 101 | - ... |
Alex Lorenz | d8ec431 | 2017-12-14 19:22:02 +0000 | [diff] [blame] | 102 | |
Sean Silva | fe25144 | 2012-12-23 01:19:35 +0000 | [diff] [blame] | 103 | New Compiler Flags |
| 104 | ------------------ |
| 105 | |
Aaron Ballman | 0050466 | 2018-06-28 12:05:40 +0000 | [diff] [blame^] | 106 | - ``-fstrict-float-cast-overflow`` and ``-fno-strict-float-cast-overflow``. |
Eugene Zelenko | ad5684a | 2018-05-15 21:45:01 +0000 | [diff] [blame] | 107 | |
| 108 | When a floating-point value is not representable in a destination integer |
| 109 | type, the code has undefined behavior according to the language standard. By |
| 110 | default, Clang will not guarantee any particular result in that case. With the |
| 111 | 'no-strict' option, Clang attempts to match the overflowing behavior of the |
| 112 | target's native float-to-int conversion instructions. |
Sanjay Patel | cee47be | 2018-04-27 16:21:22 +0000 | [diff] [blame] | 113 | |
Aaron Ballman | 0050466 | 2018-06-28 12:05:40 +0000 | [diff] [blame^] | 114 | - ``-fforce-emit-vtables`` and ``-fno-force-emit-vtables``. |
Piotr Padlewski | e368de3 | 2018-06-13 13:55:42 +0000 | [diff] [blame] | 115 | |
| 116 | In order to improve devirtualization, forces emitting of vtables even in |
| 117 | modules where it isn't necessary. It causes more inline virtual functions |
| 118 | to be emitted. |
| 119 | |
Hans Wennborg | 7b852ea | 2018-01-03 15:49:39 +0000 | [diff] [blame] | 120 | - ... |
Aaron Ballman | 2b3bc4c | 2017-10-21 16:45:08 +0000 | [diff] [blame] | 121 | |
Joerg Sonnenberger | c919968 | 2017-07-01 21:36:21 +0000 | [diff] [blame] | 122 | Deprecated Compiler Flags |
| 123 | ------------------------- |
| 124 | |
| 125 | The following options are deprecated and ignored. They will be removed in |
| 126 | future versions of Clang. |
| 127 | |
Hans Wennborg | fbb21e0 | 2017-07-19 14:14:07 +0000 | [diff] [blame] | 128 | - ... |
Joerg Sonnenberger | c919968 | 2017-07-01 21:36:21 +0000 | [diff] [blame] | 129 | |
Yuka Takahashi | ba900ab | 2018-03-07 11:34:02 +0000 | [diff] [blame] | 130 | Modified Compiler Flags |
| 131 | ----------------------- |
| 132 | |
Sylvestre Ledru | e0b4638 | 2018-04-04 09:38:22 +0000 | [diff] [blame] | 133 | - Before Clang 7, we prepended the `#` character to the `--autocomplete` |
Eugene Zelenko | d02f3e9 | 2018-03-08 01:37:39 +0000 | [diff] [blame] | 134 | argument to enable cc1 flags. For example, when the `-cc1` or `-Xclang` flag |
| 135 | is in the :program:`clang` invocation, the shell executed |
Sylvestre Ledru | e0b4638 | 2018-04-04 09:38:22 +0000 | [diff] [blame] | 136 | `clang --autocomplete=#-<flag to be completed>`. Clang 7 now requires the |
Eugene Zelenko | d02f3e9 | 2018-03-08 01:37:39 +0000 | [diff] [blame] | 137 | whole invocation including all flags to be passed to the `--autocomplete` like |
| 138 | this: `clang --autocomplete=-cc1,-xc++,-fsyn`. |
Yuka Takahashi | ba900ab | 2018-03-07 11:34:02 +0000 | [diff] [blame] | 139 | |
Tyler Nowicki | db2668a | 2014-06-18 00:51:32 +0000 | [diff] [blame] | 140 | New Pragmas in Clang |
Eugene Zelenko | ad5684a | 2018-05-15 21:45:01 +0000 | [diff] [blame] | 141 | -------------------- |
Tyler Nowicki | db2668a | 2014-06-18 00:51:32 +0000 | [diff] [blame] | 142 | |
Rafael Espindola | af74250 | 2014-08-22 21:59:11 +0000 | [diff] [blame] | 143 | Clang now supports the ... |
Mark Heffernan | bd26f5e | 2014-07-21 18:08:34 +0000 | [diff] [blame] | 144 | |
Paul Robinson | f9ede1c | 2016-07-18 17:19:12 +0000 | [diff] [blame] | 145 | |
| 146 | Attribute Changes in Clang |
| 147 | -------------------------- |
| 148 | |
Erich Keane | ace10a2 | 2018-01-08 23:36:29 +0000 | [diff] [blame] | 149 | - Clang now supports function multiversioning with attribute 'target' on ELF |
| 150 | based x86/x86-64 environments by using indirect functions. This implementation |
| 151 | has a few minor limitations over the GCC implementation for the sake of AST |
| 152 | sanity, however it is otherwise compatible with existing code using this |
| 153 | feature for GCC. Consult the documentation for the target attribute for more |
| 154 | information. |
Eugene Zelenko | d02f3e9 | 2018-03-08 01:37:39 +0000 | [diff] [blame] | 155 | |
Hans Wennborg | fbb21e0 | 2017-07-19 14:14:07 +0000 | [diff] [blame] | 156 | - ... |
Paul Robinson | f9ede1c | 2016-07-18 17:19:12 +0000 | [diff] [blame] | 157 | |
Hans Wennborg | 02dc000 | 2014-08-05 00:21:23 +0000 | [diff] [blame] | 158 | Windows Support |
| 159 | --------------- |
| 160 | |
Rafael Espindola | af74250 | 2014-08-22 21:59:11 +0000 | [diff] [blame] | 161 | Clang's support for building native Windows programs ... |
Hans Wennborg | 02dc000 | 2014-08-05 00:21:23 +0000 | [diff] [blame] | 162 | |
| 163 | |
Renato Golin | f2fcddb | 2013-12-13 09:27:34 +0000 | [diff] [blame] | 164 | C Language Changes in Clang |
| 165 | --------------------------- |
| 166 | |
Hans Wennborg | 60d06bf | 2016-07-18 18:05:19 +0000 | [diff] [blame] | 167 | - ... |
Pirama Arumuga Nainar | c85c853 | 2016-06-21 16:09:30 +0000 | [diff] [blame] | 168 | |
Renato Golin | f2fcddb | 2013-12-13 09:27:34 +0000 | [diff] [blame] | 169 | ... |
| 170 | |
Sean Silva | fe25144 | 2012-12-23 01:19:35 +0000 | [diff] [blame] | 171 | C11 Feature Support |
| 172 | ^^^^^^^^^^^^^^^^^^^ |
| 173 | |
| 174 | ... |
| 175 | |
| 176 | C++ Language Changes in Clang |
| 177 | ----------------------------- |
| 178 | |
Hans Wennborg | 7b852ea | 2018-01-03 15:49:39 +0000 | [diff] [blame] | 179 | - ... |
Richard Smith | 8eb53c8 | 2016-05-05 18:40:37 +0000 | [diff] [blame] | 180 | |
| 181 | C++1z Feature Support |
Sean Silva | fe25144 | 2012-12-23 01:19:35 +0000 | [diff] [blame] | 182 | ^^^^^^^^^^^^^^^^^^^^^ |
| 183 | |
| 184 | ... |
| 185 | |
| 186 | Objective-C Language Changes in Clang |
| 187 | ------------------------------------- |
| 188 | |
| 189 | ... |
| 190 | |
Erik Schnetter | 489700d | 2013-11-11 06:36:33 +0000 | [diff] [blame] | 191 | OpenCL C Language Changes in Clang |
| 192 | ---------------------------------- |
| 193 | |
Bill Wendling | 0a794a4b | 2013-11-20 10:13:37 +0000 | [diff] [blame] | 194 | ... |
Erik Schnetter | 489700d | 2013-11-11 06:36:33 +0000 | [diff] [blame] | 195 | |
Alexey Bataev | 44b6750 | 2016-05-31 11:17:08 +0000 | [diff] [blame] | 196 | OpenMP Support in Clang |
| 197 | ---------------------------------- |
| 198 | |
Hans Wennborg | 7b852ea | 2018-01-03 15:49:39 +0000 | [diff] [blame] | 199 | - ... |
Alexey Bataev | 44b6750 | 2016-05-31 11:17:08 +0000 | [diff] [blame] | 200 | |
Jonas Hahnfeld | 8da9c2a | 2018-04-20 13:04:54 +0000 | [diff] [blame] | 201 | CUDA Support in Clang |
| 202 | --------------------- |
| 203 | |
| 204 | - Clang will now try to locate the CUDA installation next to :program:`ptxas` |
| 205 | in the `PATH` environment variable. This behavior can be turned off by passing |
| 206 | the new flag `--cuda-path-ignore-env`. |
| 207 | |
| 208 | - Clang now supports generating object files with relocatable device code. This |
| 209 | feature needs to be enabled with `-fcuda-rdc` and my result in performance |
| 210 | penalties compared to whole program compilation. Please note that NVIDIA's |
| 211 | :program:`nvcc` must be used for linking. |
| 212 | |
Sean Silva | fe25144 | 2012-12-23 01:19:35 +0000 | [diff] [blame] | 213 | Internal API Changes |
| 214 | -------------------- |
| 215 | |
Hans Wennborg | 7b852ea | 2018-01-03 15:49:39 +0000 | [diff] [blame] | 216 | These are major API changes that have happened since the 6.0.0 release of |
Sean Silva | fe25144 | 2012-12-23 01:19:35 +0000 | [diff] [blame] | 217 | Clang. If upgrading an external codebase that uses Clang as a library, |
| 218 | this section should help get you past the largest hurdles of upgrading. |
| 219 | |
Vedant Kumar | 5fb00e4 | 2016-07-27 23:01:55 +0000 | [diff] [blame] | 220 | - ... |
Richard Smith | a0334a9 | 2015-05-14 00:22:12 +0000 | [diff] [blame] | 221 | |
Aaron Ballman | cdc43af | 2015-09-17 13:47:22 +0000 | [diff] [blame] | 222 | AST Matchers |
| 223 | ------------ |
Aaron Ballman | cdc43af | 2015-09-17 13:47:22 +0000 | [diff] [blame] | 224 | |
Hans Wennborg | 7b852ea | 2018-01-03 15:49:39 +0000 | [diff] [blame] | 225 | - ... |
Sylvestre Ledru | 72e3fa7 | 2017-03-14 09:43:55 +0000 | [diff] [blame] | 226 | |
| 227 | clang-format |
| 228 | ------------ |
| 229 | |
Krasimir Georgiev | f2ca41d | 2018-05-08 09:25:12 +0000 | [diff] [blame] | 230 | - Clang-format will now support detecting and formatting code snippets in raw |
| 231 | string literals. This is configured through the `RawStringFormats` style |
| 232 | option. |
| 233 | |
Hans Wennborg | 7b852ea | 2018-01-03 15:49:39 +0000 | [diff] [blame] | 234 | - ... |
Sylvestre Ledru | c941039 | 2017-12-05 09:23:47 +0000 | [diff] [blame] | 235 | |
Ted Kremenek | 3a2291b | 2013-04-24 07:33:52 +0000 | [diff] [blame] | 236 | libclang |
| 237 | -------- |
| 238 | |
Bill Wendling | 61f44cc | 2013-06-04 06:17:46 +0000 | [diff] [blame] | 239 | ... |
Ted Kremenek | 3a2291b | 2013-04-24 07:33:52 +0000 | [diff] [blame] | 240 | |
Sylvestre Ledru | ea49d3a | 2016-08-06 20:23:54 +0000 | [diff] [blame] | 241 | |
Anna Zaks | b6219a9 | 2013-04-25 23:14:38 +0000 | [diff] [blame] | 242 | Static Analyzer |
Ted Kremenek | 004e823 | 2013-04-26 00:01:34 +0000 | [diff] [blame] | 243 | --------------- |
Anna Zaks | b6219a9 | 2013-04-25 23:14:38 +0000 | [diff] [blame] | 244 | |
Hans Wennborg | 7b852ea | 2018-01-03 15:49:39 +0000 | [diff] [blame] | 245 | - ... |
Roman Lebedev | 88b56ca | 2017-11-30 09:18:35 +0000 | [diff] [blame] | 246 | |
Bill Wendling | 0a794a4b | 2013-11-20 10:13:37 +0000 | [diff] [blame] | 247 | ... |
Ted Kremenek | 004e823 | 2013-04-26 00:01:34 +0000 | [diff] [blame] | 248 | |
Vedant Kumar | 840c2c7 | 2017-06-13 02:52:31 +0000 | [diff] [blame] | 249 | Undefined Behavior Sanitizer (UBSan) |
| 250 | ------------------------------------ |
| 251 | |
Hans Wennborg | 7b852ea | 2018-01-03 15:49:39 +0000 | [diff] [blame] | 252 | * ... |
Vedant Kumar | 840c2c7 | 2017-06-13 02:52:31 +0000 | [diff] [blame] | 253 | |
Ted Kremenek | 004e823 | 2013-04-26 00:01:34 +0000 | [diff] [blame] | 254 | Core Analysis Improvements |
| 255 | ========================== |
| 256 | |
Bill Wendling | 61f44cc | 2013-06-04 06:17:46 +0000 | [diff] [blame] | 257 | - ... |
Ted Kremenek | 004e823 | 2013-04-26 00:01:34 +0000 | [diff] [blame] | 258 | |
| 259 | New Issues Found |
| 260 | ================ |
| 261 | |
Bill Wendling | 61f44cc | 2013-06-04 06:17:46 +0000 | [diff] [blame] | 262 | - ... |
Anna Zaks | b6219a9 | 2013-04-25 23:14:38 +0000 | [diff] [blame] | 263 | |
Sean Silva | fe25144 | 2012-12-23 01:19:35 +0000 | [diff] [blame] | 264 | Python Binding Changes |
| 265 | ---------------------- |
| 266 | |
| 267 | The following methods have been added: |
| 268 | |
| 269 | - ... |
| 270 | |
| 271 | Significant Known Problems |
| 272 | ========================== |
| 273 | |
| 274 | Additional Information |
| 275 | ====================== |
| 276 | |
| 277 | A wide variety of additional information is available on the `Clang web |
| 278 | page <http://clang.llvm.org/>`_. The web page contains versions of the |
| 279 | API documentation which are up-to-date with the Subversion version of |
| 280 | the source code. You can access versions of these documents specific to |
| 281 | this release by going into the "``clang/docs/``" directory in the Clang |
| 282 | tree. |
| 283 | |
| 284 | If you have any questions or comments about Clang, please feel free to |
| 285 | contact us via the `mailing |
Tanya Lattner | 4a08e93 | 2015-08-05 03:55:23 +0000 | [diff] [blame] | 286 | list <http://lists.llvm.org/mailman/listinfo/cfe-dev>`_. |