Move SymSan shadow memory from src to dst (handles overlapping regions) Overrides weak stub in ucsan.cpp

Set SymSan arg TLS entry Overrides weak stub in ucsan.cpp

Redirect versioned stat functions to the __sanitizer::internal() as well.

allocate and set size without initialization

Make the compiler thinks that something is going on there.

Globals referenced by the outlined body (name, C extern declarator). These are NOT outlined args (module-level), so the harness needs them to render

Simplistic combination of 32-bit hash values into 32-bit hash values.

Prevent inlining so the loop structure is preserved

First debug line of a block (0 if none) — used to key the outlined body back to the source loop the contract's invariant references.

these are bucket sizes used by the default allocator.

C type for an outlined ARG: like diTypeToC but PRESERVES arrays as "elem [N]" (the outlined arg of a stack array is pointer-to-array, so the harness m

C declarator for a global the harness must `extern`-declare (arrays keep `[]`, since `int a[]` and `int *a` are different symbols at link).

marks as empty

returns all the current entries compacted into a sequence

Try to find the executable from PATH */

Try to find the runtime libraries. If that fails, abort. */