__builtin_trap: когда его использовать?

Question

gcc предоставляет дополнительные встроенные функции «для оптимизации».

Один из них - void __builtin_trap (void), который по существу здесь, чтобы прервать программу, выполнив незаконную команду.

Из дока:

функция __builtin_trap заставляет программу выйти ненормально. GCC реализует эту функцию с использованием механизма, зависящего от цели (например, намеренно , выполняющего незаконную инструкцию) или путем вызывного прерывания. Используемый механизм может отличаться от выпуска к выпуску, поэтому вы не должны полагаться на какую-либо конкретную реализацию .

Зачем вам это использовать, а не exit(1) или abort? Почему разработчики gcc рассматривают это как функцию оптимизации?

Answer 1

Потому что exit(1) заставляет программу нормально завершать код состояния ошибки. См. the cppreference page. В отличие от этого __builtin_trap программа прерывается анормально.

Простейший способ увидеть различия состоит в том, чтобы взглянуть на гарантии, сделанные exit, если сделать одну из этих вещей - это то, чего вы не хотите, __builtin_trap было бы лучше.

Отладка является наиболее распространенным примером, так как __builtin_trap может инициировать отладчик, чтобы сбрасывать процесс, в то время как exit не будет (поскольку программа завершает «нормально» с ошибкой).

Answer 2

Функции __builtin не обязательно для оптимизации - они предназначены для «выполнения действий, которые компилятор не может выполнять напрямую из исходного кода», включая поддержку «специальных инструкций» и «конкретных для архитектуры операций». Одной из основных целей функций __builtin является то, что компилятор «знает», что они делают на более позднем этапе. Хотя в компиляторе есть «оптимизация библиотек», компилятор может использовать функции __builtin гораздо более свободно, чтобы определить, что поведение является чем-то конкретным - например, __builtin_trap можно полагаться на «не продолжать следующую инструкцию», поэтому компилятор не придется беспокоиться о коде, как:

if (x <= 0.0) __builtin_trap(); 
y = ln(x); 

Он может затем использовать «быстрый инлайн версии ln», так как ошибка была поймана уже.

Заметим также, что __builtin_trap почти гарантированно в конечном итоге, как «стоп» в отладчике, где exit(1) или некоторые такие будут просто выйти из программы с «не успех» код результата, который является весьма раздражает, если вы пытаетесь чтобы выяснить, откуда это сообщение математической ошибки ...