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

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

Если функция не имеет никакого return оператор, затем итоговая закрывающая фигурная скобка функции подразумевает неявный return. Исключение return оператор в функции не препятствует тому, чтобы поток выполнения возвратился. [[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]] функция возвращает поток выполнения в пути выполнения кода, эта функция несовместима с этим правилом.

[[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]] функция не возвращает поток выполнения в пути к вызову, это совместимо с этим правилом.