diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2022-03-18 09:46:14 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-07-07 18:30:34 +0100 |
| commit | d2f5906da4ae37a41ae257e5308d50e19689877b (patch) | |
| tree | 40bb75bc1153dbf37f0df31674cf67e4af3c4da3 /runtime/POSIX/CMakeLists.txt | |
| parent | 99c522b14dbbf6b26be35b6e7bb8da7b29070287 (diff) | |
| download | klee-d2f5906da4ae37a41ae257e5308d50e19689877b.tar.gz | |
POSIX runtime: fstatat: check for nonnull path APIs
Diffstat (limited to 'runtime/POSIX/CMakeLists.txt')
| -rw-r--r-- | runtime/POSIX/CMakeLists.txt | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/runtime/POSIX/CMakeLists.txt b/runtime/POSIX/CMakeLists.txt index 02d06736..d8208d9b 100644 --- a/runtime/POSIX/CMakeLists.txt +++ b/runtime/POSIX/CMakeLists.txt @@ -20,6 +20,11 @@ set(SRC_FILES stubs.c ) +try_compile (FSTATAT_PATH_ACCEPTS_NULL + ${CMAKE_BINARY_DIR} + ${PROJECT_SOURCE_DIR}/cmake/fstatat.c + ) + # Build it include("${CMAKE_SOURCE_DIR}/cmake/compile_bitcode_library.cmake") prefix_with_path("${SRC_FILES}" "${CMAKE_CURRENT_SOURCE_DIR}/" prefixed_files) |