Чи є тест на відповідність компіляторів C ++? [зачинено]

Чи є десь вільно доступний / доступний скрипт, вихідний файл чи інше, який здатний виміряти відповідність даному компілятору C ++?

Наприклад, тест Acid3 для браузерів: http://acid3.acidtests.org/

Результати, про які я мрію, - глобальна відсоткова нота (або кілька нотаток, по одному для кожного стандарту, наприклад, c ++ 98, c ++ 11, c ++ 14 тощо), а потім детальні тести з "успіхом" або "провал" для кожного з них.

Передумови: У мене в роботі було обговорено питання про підвищення та деякі складні компілятори. Мій співрозмовник говорив про те, що стимул є академічним проектом, оскільки він не працюватиме у великих компіляторах C ++, і я відповідав, що компілятори з розумовими труднощами не повинні рахуватися. Можливість вимірювати за допомогою коду фактична відповідність компілятора допомогла б як в оцінці компілятора, так і в виявленні "кутових випадків", яких слід уникати в крос-платформному коді, складеному з ними.

Редагувати: 2013-06-22

Не відповідь, але, мабуть, комітет C ++ працює над цією темою:

SG10, Тест характеристик: Кларк Нельсон (Intel). Дослідження того, чи можна стандартизувати спосіб переносного коду, щоб перевірити, чи певний продукт C ++ реалізує функцію, оскільки ми продовжуємо розширювати стандарт.

Джерело: http://isocpp.org/std/the-committee

Один із способів перевірити відповідність даного компілятора C ++ - це запустити (великий) тестовий набір, тобто купу файлів C ++, які перевіряють усі аспекти мови.

Добре відомими тестовими комплексами є тестові апарати gcc та llvm. Вони перевіряють всі види аспектів компілятора, очевидно, включаючи відповідність. Однак важко особливо оцінити відповідність, оскільки (наскільки мені відомо) немає спеціальних звітів про відповідність.

У цій царині у вас є:

• тести на тортури GCC, які використовуються для тестування компілятора gcc
• тестовий набір LLVM: поєднання спрямованих тестів для компілятора кланг-файлів та бекенда llvm плюс набір повноцінних програм для тестування компілятора.
• тест LLVM libcxx (частина сховища libcxx) для тестування підтримки C ++ 11.

Є кілька обширних тестових наборів, які можна перевірити на відповідність C / C ++. На жаль, це всі комерційні ліцензії порядку 10k-40k.

• SuperTest : Найширший із цього списку. Приблизно 3 мільйони направлених тестів на відповідність C99, C ++, EmbeddedC, DSP-C.
• Сливовий зал . C і C ++, включаючи бібліотеку C ++. Включає відповідність ANSI C, генератор випадкових програм, шаблон тестування та інтерпретатор сценаріїв для управління загальним процесом тестування.
• Багаторічні . C і C ++.
• Nullstone . Тільки C

Найближче, що мені відомо, - це контекст конкретної стандартної версії . Так само є повідомлення в блогах, які містять подібний вміст. Однак мені не відомі фактичні чи де-юре тіло, тест чи тестовий набір, що регулює такі питання. Начебто, навіть isocpp.org наразі не має ресурсів відповідності. Найближчим ви можете отримати, мабуть, специфічні схеми відповідності кожного постачальника, які в кращому випадку невідповідні.

наприклад, Clang , GCC , MSVC , Intel

Насправді є лише кілька конкурентних компіляторів (принаймні у просторі x86 / x64 - я припускаю, що це стосується і менш популярних платформ), але я погоджуюся, що було б дуже приємно мати посилання, особливо зараз, коли стандарт є набираючи швидкість.

Я не знаю про тестування стандартів, хоча наступна URL-адреса є офіційним веб-сайтом комітетів стандартів http://www.open-std.org/jtc1/sc22/wg21/ .

Крім того, багато речей, які можна знайти в Boost, проникають у стандарт C ++. За словами доктора Кеннета Сундберга з університету штату Юта.

Я ще не можу перевірити її достовірність, я все ще намагаюся з’ясувати, чи є вона достовірною, але група Google за адресою https://groups.google.com/forum/?fromgroups#!forum/comp.std .c ++ стверджує, що офіційного тесту не існує.