vfs_adapter.h File Reference

#include <util/base/compiler_defs.h>
#include <llvm/Support/VirtualFileSystem.h>

Include dependency graph for vfs_adapter.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

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.