Closed arichardson closed 2 years ago
It seems that recent libstdc++ pulls in fewer headers implicitly, so this is needed to avoid compilation errors due to missing std::numeric_limits<>.
Co-authored-by: John Baldwin jhb@FreeBSD.org
See https://github.com/CTSRD-CHERI/cheribsd/commit/c05532bebd36c84aeebf16b734595c5b443fbde6 and https://github.com/CTSRD-CHERI/cheribsd/pull/1331
It seems that recent libstdc++ pulls in fewer headers implicitly, so this is needed to avoid compilation errors due to missing std::numeric_limits<>.
Co-authored-by: John Baldwin jhb@FreeBSD.org
See https://github.com/CTSRD-CHERI/cheribsd/commit/c05532bebd36c84aeebf16b734595c5b443fbde6 and https://github.com/CTSRD-CHERI/cheribsd/pull/1331