0d0da768d8
glibc adds `__attribute__((nothrow))` to its declarations, at least for those related to malloc. glibc has yet to introduce `free_sized`, but when it does it would cause compilation errors. This is due to the fact that if a function declarations has `__attribute__((nothrow))` and it is re-declared or implemented in C++ it must also have `__attribute__((nothrow))` or `noexcept`, otherwise the compilation will fail. This is a follow up to https://github.com/leanprover/lean4/pull/6598. Signed-off-by: Justin King <jcking@google.com> |
||
|---|---|---|
| .. | ||
| lean.h | ||
| lean_gmp.h | ||
| lean_libuv.h | ||