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

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