Этот дефект возникает, когда [[noreturn]] функция в конечном счете возвращает поток выполнения функции вызывающего абонента. Компилятор ожидает, что функция, объявленная при помощи [[noreturn]] атрибут не возвращает поток выполнения. То есть, если [[noreturn]] функциональные f() вызывается из main(), тогда компилятор ожидает, что поток выполнения не возвращается к main(). Если такая функция в конечном счете возвращает поток выполнения, это приводит к неопределенному поведению.

Если a [[noreturn]] функция в конечном счете возвращает поток выполнения, это приводит к неопределенному поведению, которое может использоваться, чтобы вызвать нарушения целостности данных.

Если функция не имеет return оператор, затем конечная закрывающая скобка функции подразумевает неявное return. Опускание return оператор в функции не препятствует возвращению потока выполнения. A [[noreturn]] функция может запретить возврат потока выполнения в вызывающую функцию путем:

Рассмотрим следующий код, содержащий функцию noncompliant(), который объявляется как [[noreturn]].

#include <cstdlib>
[[noreturn]] void bad_f(int i)
{
	if (i > 0)
	throw "Received positive input";
	else if (i < 0)
	std::exit(0);
} //Noncompliant

Когда вход i равен нулю, поток выполнения пропускает if-else-if блок кода и неявно возвращается к вызывающему абоненту. Потому что [[noreturn]] функция возвращает поток выполнения в код пути, эта функция не совместима с этим правилом.

A [[noreturn]] функция не должна возвращать поток выполнения в код пути. Можно предотвратить возврат несколькими способами. Рассмотрите следующий код, где [[noreturn]] функция не возвращает поток выполнения в код пути.

#include <cstdlib>
[[noreturn]] void compliant(int i)
{
	if (i > 0)
	throw "Received positive input";
	else if (i < 0)
	std::exit(0);
	else if(i==0)
	while(true){
		//...
	}
}//Compliant

Эта функция соответствует этому правилу, потому что:

Потому что [[noreturn]] функция не возвращает поток выполнения в пути вызова, она соответствует этому правилу.