fix: Fix macOS CI failures#185

Merged

misonijnik merged 12 commits intomainfrom

misonijnik/macos-fix

Jun 4, 2024

Commits on Jun 4, 2024

Install lit and tabulate via brew on macOS

ccadar
authored and
misonijnik
committed
Use LLVM 14 for the macOS CI target

ccadar
authored and
misonijnik
committed
Fix/update LLVM path on macOS

ccadar
authored and
misonijnik
committed
Fix test case that currently fails on Apple Silicon, where sizeof(long double) == sizeof(double)

ccadar
authored and
misonijnik
committed
Inline assembly is not supported on Apple Silicon, so disabling these tests on macOS

ccadar
authored and
misonijnik
committed
Moving inline assembly tests to a separate directory

ccadar
authored and
misonijnik
committed
Moved variable argument tests to separate directory

ccadar
authored and
misonijnik
committed
Variadic functions are not currently supported on Apple Silicon

ccadar
authored and
misonijnik
committed
The test currently fails on the macOS version used in the CI: the compiler does not generate a call to __ubsan_handle_invalid_builtin. This seems to be an issue with Clang rather than KLEE.

ccadar
authored and
misonijnik
committed
Move test/Feature/ubsan to test/UBSan as for the tests of other features

ccadar
authored and
misonijnik
committed
ci: Disable a couple of tests for Apple Silicon
misonijnik
committed
ci: Fix cirrus ci
misonijnik
committed