ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
math.h
Go to the documentation of this file.
1
2#pragma once
3
4#include "definitions.h"
5
6/* Support LLVM's libc++, which defines the float and long double overloads
7 * in the top-level :: namespace in <math.h> when __cplusplus is set. These
8 * clash with our definitions due to the exception declaration. */
9#pragma push_macro("__cplusplus")
10#undef __cplusplus
11extern "C"
12{
13#include_next <math.h>
14}
15#pragma pop_macro("__cplusplus") // restore macro
16
17#include <cmath>