Как подсказать GCC, что строка должна быть недостижимой во время компиляции?

Компиляторам свойственно обеспечить переключатель для предупреждения, когда код недостижим. Я также видел макросы для некоторых библиотек, которые обеспечивают утверждения для недостижимого кода.

Существует ли подсказка, такой как через прагму, или встроена, который я могу передать GCC (или какие-либо другие компиляторы в этом отношении), который предупредит или ошибка во время компиляции, если будет определено, что строка ожидала быть недостижимой, может на самом деле быть достигнут?

Вот пример:

    if (!conf->devpath) {
        conf->devpath = arg;
        return 0;
    } // pass other opts into fuse
    else {
        return 1;
    }
    UNREACHABLE_LINE();

Значение этого находится в обнаружении после изменений в условиях выше ожидаемой недостижимой строки, что строка на самом деле достижима.