Re: g++ version 7.5.0 and library <memory_resource>

[hbusch@bnv-bamberg.de]

Thanks a lot Jonathan for your quick help.
You are right, 7.5.0 does not include memory_resource.
Best regards
Harald

Quoting Jonathan Wakely <jwakely.gcc@gmail.com>:

> On Sun, 7 Jun 2020 at 20:12, <hbusch@bnv-bamberg.de> wrote:
>>
>> Hi,
>> I am using g++ version 7.5.0 on Linux Mint 19 Tara:
>>
>> g++ (Ubuntu 7.5.0-3ubuntu1~18.04) 7.5.0
>>
>> When I try to compile a source file which uses the Standard library
>> header <memory_resource> I get the following error:
>>
>> main.cpp:7:10: fatal error: memory_resource: No such file or directory
>>
>> As to my knowledge g++ version 7.5.0 supports C++17 and library
>> <memory_resource> is included since C++17. At least, this page tells
>> me that it has to be there:
>>
>> https://gcc.gnu.org/onlinedocs/gcc-7.5.0/libstdc++/api/a01004_source.html
>
> No it doesn't, it tells you a different header is part of libstdc++ in
> the 7.5.0 release.
>
> As  
> https://gcc.gnu.org/onlinedocs/gcc-7.5.0/libstdc++/manual/manual/status.html#status.iso.2017
> says, the <memory_resource> header is not supported in 7.5.0.