* Only use backtrace_symbols in execinfo.h if present: we correctly
guard the call to backtrace, but not the one to backtrace_symbols.
* Do not prefix the function definition with the std namespace for the
__throw* functions to avoid compilation errors if there is no
corresponding function declaration in libstd.
For memory that needs to be allocated before GC is initialized.
sbrk is not portable and some standard library implementations (musl) do
not actually implement it at all.
Instead we use mmap, which should be more portable. We can now also
support releasing that memory when it is not needed anymore, instead of
leaking it.
7169708...
by
vladyslav-dubina <email address hidden>
Added type for key PathExpression (#2919)
Solve problems with Z3 solver, where simplified key variables don`t have a type.
41ea49f...
by
Tomas Zavodnik <email address hidden>
DPDK Backend: Fix verify statement support and few other minor issues (#2909)
* Fixing a few bugs:
1) Handled boolean literals in verify statement
2) Moving error id from verify method to standard metadata for parser error
3) Emitting missing Label before drop instruction at the end.
4) Change warning type for mismatched header fields
5) Change cast to mov instruction as it is not a valid instruction.