Is this infinite recursion UB?

by

It’s UB because it’s not worded in terms of loops, but in terms of (1.10p24):

The implementation may assume that any thread will eventually do one of the following:

  • terminate,
  • make a call to a library I/O function,
  • access or modify a volatile object, or
  • perform a synchronization operation or an atomic operation.

This applies to both, as opposed to the more older formulation in one of the C++0x drafts. (See this question for discussions).

Note that disregarding of that, the behavior can easily be undefined if the recursion exceeds the implementation limit of the number of nested recursive function calls. That has always been the case.

More Related Contents:

  1. Has C++ standard changed with respect to the use of indeterminate values and undefined behavior in C++14?
  2. Is signed integer overflow still undefined behavior in C++?
  3. Optimizing away a “while(1);” in C++0x
  4. Why do constant expressions have an exclusion for undefined behavior?
  5. Are multiple mutations within initializer lists undefined behavior?
  6. In C++11, does `i += ++i + 1` exhibit undefined behavior?
  7. So why is i = ++i + 1 well-defined in C++11?
  8. Why is locking a std::mutex twice ‘Undefined Behaviour’?
  9. Can lambda functions be recursive? [duplicate]
  10. reinterpret_cast from object to first member
  11. In which versions of the C++ standard does “(i+=10)+=10” have undefined behaviour?
  12. Using generic std::function objects with member functions in one class
  13. Why does integer overflow on x86 with GCC cause an infinite loop?
  14. C++0x lambda capture by value always const?
  15. ‘colon’ and ‘auto’ in for loop c++? need some help understanding the syntax
  16. Computing length of a C string at compile time. Is this really a constexpr?
  17. How does std::move() transfer values into RValues?
  18. Turn off eclipse errors (that aren’t really errors) [duplicate]
  19. What are declarations and declarators and how are their types interpreted by the standard?
  20. Getting “source type is not polymorphic” when trying to use dynamic_cast
  21. Doing a static_assert that a template type is another template
  22. std::bind overload resolution
  23. Forwarding all constructors in C++0x
  24. What is the difference between C++03 `throw()` specifier and C++11 `noexcept`?
  25. When is std::chrono epoch?
  26. What am I allowed to do with a static, constexpr, in-class initialized data member?
  27. Idiomatic Way to declare C++ Immutable Classes
  28. std::this_thread::sleep_for() and GCC
  29. Why is reinterpret_cast not constexpr?
  30. How to initialize all tuple elements by the same arguments?

Leave a Comment