vfs_adapter.cpp File Reference

#include <util/base/compiler_defs.h>
#include <llvm/Support/MemoryBuffer.h>
#include <clang-c-frontend/AST/vfs_adapter.h>
#include <clang-c-frontend/AST/vfs_paths.h>
#include <util/base/filesystem.h>

Include dependency graph for vfs_adapter.cpp:

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

Function Documentation

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.

Anything not bundled falls through, so user sources and system headers resolve as usual.