>>>>> "David" == David Malcolm via Gcc <gcc@gcc.gnu.org> writes:
David> For example, there's at David> least one place where I'd have used std::optional, but that's C++14 and David> so unavailable. FWIW, gdb had its own gdb::optional (which was really just a stripped-down copy of the one from libstdc++) to fill exactly this need, at least until we moved to C++17 this year. If you need it you could easily lift it from the gdb repository. Tom
