docs/api/vfs__adapter_8h_source.html

#pragma once


#include <util/base/compiler_defs.h>

CC_DIAGNOSTIC_PUSH()

CC_DIAGNOSTIC_IGNORE_LLVM_CHECKS()

#include <llvm/Support/VirtualFileSystem.h>

CC_DIAGNOSTIC_POP()


llvm::IntrusiveRefCntPtr<llvm::vfs::FileSystem> esbmc_clang_vfs();

CC_DIAGNOSTIC_PUSH
#define CC_DIAGNOSTIC_PUSH()
Definition OM_compiler_defs.h:5

CC_DIAGNOSTIC_POP
#define CC_DIAGNOSTIC_POP()
Definition OM_compiler_defs.h:6

compiler_defs.h

CC_DIAGNOSTIC_IGNORE_LLVM_CHECKS
#define CC_DIAGNOSTIC_IGNORE_LLVM_CHECKS()
Definition compiler_defs.h:23

llvm
Definition clang_ast_dump.h:9

esbmc_clang_vfs
llvm::IntrusiveRefCntPtr< llvm::vfs::FileSystem > esbmc_clang_vfs()
A clang filesystem serving ESBMC's bundled files straight from .rodata, overlaid on the real one.
Definition vfs_adapter.cpp:11