On Wed, Feb 06, 2019 at 06:20:35PM +0100, Jakub Jelinek wrote:
> "For C++, flowing off the end of a function other than @code{main} is
Oops, either replace function above with value-returning function, or
non-@code{void} function.
> undefined even if the return value from the function is not used in the
> caller."
> or similar?
Jakub
