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
11
extern
"C"
12
{
13
#include_next <math.h>
14
}
15
#pragma pop_macro("__cplusplus")
// restore macro
16
17
#include <cmath>
definitions.h
src
cpp
library
math.h
Generated by
1.15.0