Исходное сообщение
"Релиз набора компиляторов LLVM 6.0" Отправлено opennews, 09-Мрт-18 00:01
После шести месяцев разработки представлен (http://lists.llvm.org/pipermail/llvm-announce/2018-March/000... релиз проекта LLVM 6.0 (http://llvm.org/) (Low Level Virtual Machine) - GCC-совместимого инструментария (компиляторы, оптимизаторы и генераторы кода), компилирующего программы в промежуточный биткод RISC-подобных виртуальных инструкций (низкоуровневая виртуальная машина с многоуровневой системой оптимизации). Сгенерированный псевдокод может быть преобразован при помощи JIT-компилятора в машинные инструкции непосредственно в момент выполнения программы. Напомним, что в соответствии с  новой нумерацией версий (https://www.opennet.ru/opennews/art.shtml?num=45690) осуществлён уход от разделения значительных и функциональных выпусков. В каждом функциональном обновлении теперь меняется первая цифра (например, осенью состоится релиз LLVM 7.0.0). Для обеспечения совместимости с существующими системами разбора номеров версий LLVM корректирующие обновления, как и раньше приводят к увеличению третьей цифры (6.0.1, 6.0.2, 6.0.3). Из новых возможностей LLVM 6.0 отмечается включение в Clang по умолчанию стандарта C++14 ("-std=gnu++14" вместо "-std=gnu++98"), обеспечение поддержки некоторых возможностей будущего стандарта  C++2a, интеграция патчей retpoline для блокирования второго варианта уязвимости Spectre, значительное улучшение поддержки отладочной информации CodeView для Windows, включение по умолчанию фреймворка  GlobalISel для архитектуры AArch64 при сборке с уровнем оптимизации "-O0",  добавление новых предупреждений компилятора. Улучшения (http://releases.llvm.org/6.0.0/tools/clang/docs/ReleaseNotes... в Clang 6.0: -  В качестве диалекта языка C++ по умолчанию установлен gnu++14 ("-std=gnu++14") вместо ранее применявшегося  gnu++98 ("-std=gnu++98"), что позволяет по умолчанию компилировать код, в котором присутствуют возможности, определённые в стандарте C++14 (https://www.opennet.ru/opennews/art.shtml?num=40408), включая специфичные расширения GNU; -  Добавлены некоторые возможности, развиваемые для будущего стандарта C++20 (кодовое название C++2a):   -  Макрос __VA_OPT__ для адаптивного раскрытия вариативных макросов в зависимости от наличия токенов в вариативном аргументе; -  Поддержка оператора "‹=›" для трехстороннего сравнения; -  Поддержка инициализаторов элементов по умолчанию  для битовых полей; -  Возможность лямбда-захвата выражений "*this"; -  Вызов элементов по указателю (Pointer-to-member), используя определённые через выражение "const &" указатели на временные объекты; -  Оператор delete с деструктором, описанный в документе P0722R1 (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p072... но пока не одобренный для включения в спецификацию  C++2a; Для включения поддержки C++2a следует использовать опцию "-std=c++2a", при этом все указанные возможности, кроме __VA_OPT__ и "‹=›", доступны и в других режимах C++, но приводят к выводу предупреждения; -  Для блокирования в приложениях второго варианта уязвимости Spectre (CVE-2017-5715) в состав включён механизм Retpoline (https://support.google.com/faqs/answer/7625886), основанный на применении специальной последовательности инструкций, исключающей вовлечение механизма спекулятивного выполнения для косвенных переходов (использование инструкции RET вместо JMP). Включение защиты осуществляется при помощи флага "-mretpoline" или "-mretpoline-external-thunk" при необходимости более тонкой настройки работы Retpoline; -  Добавлена поддержка конфигурационных файлов, в которых можно размещать коллекции из применяемых при сборке опций. Для использования настроек из файла конфигурации можно использовать опцию "--config foo.cfg" или создать исполняемый файл вида "foo-clang". Перечисленные в файле конфигурации опции включаются до опций, перечисленных в командной строке. Основным назначением файлов конфигурации является упрощение организации кросс-компиляции; -  Добавлены новые флаги "-fdouble-square-bracket-attributes" и "-fno-double-square-bracket-attributes" для включения и выключения атрибутов (http://releases.llvm.org/6.0.0/tools/clang/docs/AttributeRef... задаваемых в двойных квадратных скобках, в любых языковых режимах; -  Для обеспечения совместимости с GCC добавлены языковые режимы "-std=c17", "-std=gnu17" и "-std=iso9899:2017" для включения поддержки нового стандарта языка Си. Режимы c17  и c11 отличаются только значением макроса __STDC_VERSION__, так как в новой спецификации отмечается только исправление ошибок; -  Добавлены флаги "-fexperimental-isel" и "-fno-experimental-isel" для включения и выключения нового фреймворка выбора инструкций GlobalISel (https://llvm.org/docs/GlobalISel.html). Данный фреймворк включен по умолчанию  для архитектуры AArch64 при установке уровня оптимизации "-O0"; -  Добавлен флаг "-nostdlib++" для отключения связывания со стандартной библиотекой C++ (действие аналогично вызову clang вместо clang++, но не отключает "-lm"); -  Большая часть атрибутов Clang теперь доступна как в нотации GNU (__attribute((name))), так и в нотации Clang ([[clang::name]]). Добавлен встроенный макрос препроцессора __has_c_attribute() для динамической проверки доступности в режиме Си атрибутов, задаваемых в двойных квадратных скобках (данный синтаксис атрибутов включается флагом "-fdouble-square-bracket-attributes"); -  Добавлена начальная поддержка сборки для платформы Windows на системах ARM64; -  Расширены возможности, связанные с поддержкой OpenCL и OpenMP; -  Прекращена поддержка операционной системы Bitrig (https://www.opennet.ru/opennews/art.shtml?num=41188), так как данный форк воссоединился с OpenBSD; -  Для обеспечения совместимости с заголовочными файлами стандартной библиотеки Visual Studio 2015 и 2017 значение _MSC_VER по умолчанию изменено с 1800 до 1911; -  По умолчанию в исполняемые файлы теперь добавляется секция ".init_array", если в системе не установлен GCC. Если наличие GCC обнаружено и версия старее 4.7.0, то как и раньше подставляется секция ".ctors"; -  Добавлены новые встроенные макросы  препроцессора __is_target_arch, __is_target_vendor, __is_target_os и __is_target_environment, которые могут применяться для определения отдельных характеристик целевой платформы; -  Расширены возможности для диагностики. Например, добавлена опция "-Wpragma-pack" для выявления проблем, возникающих при использовании директивы "#pragma pack", и опция "-Wtautological-constant-compare" для информирования о сравнении  целочисленной переменной  и целочисленной константой того же типа, имеющей наименьшее или наиболее из возможных для данного типа значений; -  В clang-format добавлена опция IndentPPDirectives для расстановки отступов для директив препроцессора, содержащих условные выражения (if/endif), а также опция  IncludeBlocks для перегруппировки блоков заголовочных файлов; -  В статическом анализаторе обеспечено корректное определение и диагностика применения унарных операторов инкремента/декремента над неинициализированным значением; -  В linter clang-tidy добавлена (http://releases.llvm.org/6.0.0/tools/clang/tools/extra/docs/... большая порция новых проверок и обеспечена поддержка стандарта кодирования  High Integrity C++ Coding Standard (http://www.codingstandard.com/section/index/); -   Добавлен минимальный runtime для компонента UBSan (Undefined Behavior Sanitizer) с реализацией детектора неопределенного поведения (http://ru.wikipedia.org/wiki/%D0%9D%D0%B... выявляющего во время выполнения программы ситуации, когда поведение программы становится неопределенным. Runtime предоставляет только простые функции ведения лога событий во время выполнения и дедупликацию выводимых в лог записей ("-fsanitize=vptr" не поддерживается). Основные новшества (http://llvm.org/releases/6.0.... URL: http://lists.llvm.org/pipermail/llvm-announce/2018-March/000... Новость: https://www.opennet.ru/opennews/art.shtml?num=48223