Могут ли оптимизации встраивания и удаления мертвого кода предотвратить создание шаблона?

Учитывая следующий пример кода

struct S;

template<typename>
class C
{
public:
void f(bool b)
{
if (b)
g();
}

void g()
{
S{};
}
};

int main()
{
C<int>{}.f(false);
}

GCC правильно сообщает следующее:

example.cpp: In instantiation of 'void C< <template-parameter-1-1> >::g() [with <template-parameter-1-1> = int]':
10 : required from 'void C< <template-parameter-1-1> >::f(bool) [with <template-parameter-1-1> = int]'
21 : required from here
15 : error: invalid use of incomplete type 'struct S'

Мой вопрос сейчас: это гарантированное поведение, которое имеет какое-то правило в стандарте или любых других документах?

Чтобы быть более точным в моем вопросе:

C класс шаблона, члены которого f() а также g() создаются только тогда, когда на них ссылаются. f() упоминается в main(), Если я не ссылаюсь g() (который внутренне пытается использовать неполный тип), код будет компилироваться. Но g() ссылается внутри if-ветви внутри f(), Эта ветвь детерминированно никогда не выполняется. Таким образом, компилятор может потенциально игнорировать / удалить эту ветку мертвого кода и, таким образом, избежать создания экземпляра g() (и с этим ошибка попытки использовать неполный тип). Однако этого не происходит (на компиляторах я пробовал хотя бы).

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

Спасибо за любые идеи.