On Mon, Jun 22, 2020 at 10:51:40AM -0700, David L wrote: > My bad, I should have mentioned the filename extension was cpp, not c, so I > should have said g++ not gcc. Ah. I don't have a copy of the C++ standard, so can't help with further checking there. -- Colin Watson (he/him) [cjwatson at ubuntu.com]