Returning from a noreturn function

Example from the Standard, [dcl.attr.noreturn]:

[[ noreturn ]] void f() {
  throw "error"; // OK
}
[[ noreturn ]] void q(int i) { // behavior is undefined if called with an argument <= 0
  if (i > 0)
    throw "positive";
}

Found a mistake? Have a question or improvement idea? Let me know.

Undefined behavior:

*Undefined Behavior

*Reading or writing through a null pointer

*Using an uninitialized local variable

*Accessing an out-of-bounds index

*Deleting a derived object via a pointer to a base class that doesnt have a virtual destructor.

*Extending the std or posix Namespace

*Accessing a dangling reference

*Integer division by zero

*No return statement for a function with a non-void return type

*Invalid pointer arithmetic

*Incorrect pairing of memory allocation and deallocation

*Signed Integer Overflow

*Shifting by an invalid number of positions

*Modifying a const object

*Value of an out-of-range enum

*Multiple non-identical definitions the One Definition Rule

*Overflow during conversion to or from floating point type

*Returning from a noreturn function

*Accessing an object as the wrong type

*Modifying a string literal

*Infinite template recursion

*Access to nonexistent member through pointer to member

*Destroying an object that has already been destroyed

*Result of some reinterpret_cast conversions

*Invalid derived-to-base conversion for pointers to members

*Invalid base-to-derived static_cast

*Calling Pure Virtual Members From Constructor Or Destructor

*Floating point overflow

*Function call through mismatched function pointer type

*290Static cast from bogus void value

Table Of Contents

4Floating point arithmetic

11Loops

15Variable declaration keywords

16auto keyword

17Pointers

18Type keywords (class, enum, struct, union)

28std::set and std::multiset

29std::any

30std::variant

31std::optional

32std::integer_sequence

39Streams

40Stream manipulators

41Metaprogramming

42Returning multiple values from a function

43References

44Polymorphism

45Value and reference semantics

46Function call by value vs. by reference

47Copying vs assignment

48Pointers to class / struct members

51Unions

54Function overloading

55Operator overloading

56Lambdas

57Threading

58Value categories

59Preprocessor

60SFINAE

61Rule of three, five and zero

62RAII

63Exceptions

64Implementation-defined behavior

65Special member functions

66Random numbers

67Sorting

68Regular expressions

69Perfect forwarding

70Virtual member functions

71Undefined behavior

72Overload resolution

80User-defined literals

81Type erasure

82Memory management

83Explicit type conversions

84RTTI

85Standard library algorithms

86Expression templates

87Scopes

88Atomic types

89static assert

90constexpr

91Date and time with std::chrono

92Trailing return type

93Function template overloading

94Common compile linker errors

95Design patterns

96Optimizations

97Compiling and building

98Type traits

99One definition rule

100Unspecified behavio

101Argument dependent name lookup

102Attributes

103Internationalization

104Profiling

105Return type covariance

106Non-static member functions

107Recursion

108Callable objects

109Constant class member functions

110C++ vs. C++ 11 vs C++ 17

111Inline functions

112Client server examples

113Header files

114Const correctness

115Refactoring techniques

116Parameter packs

117Iteration

118type deduction

119C++ 11 memory model

120Build systems

121Concurrency with OpenMP

122Type inference

123Resource management

124Storage class specifiers

125Alignment

126Inline variables

127Linkage specifications

128Curiusly recurring template pattern

129Using declaration

130Typedef and type aliases

131Layout of object types

132C incompatibilities

133Optimization

134Semaphore

135Thread synchronization

136Debugging

137Futures and promises

138More undefined behaviors

139Mutexes

142decltype

145Arithmetic meta-programming

146Contributors