vfs_paths.h File Reference

#include <string>
#include <util/base/filesystem.h>

Include dependency graph for vfs_paths.h:

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

Go to the source code of this file.

Functions
std::string	clang_vfs_path (const std::string &bundled)
	A bundled path spelled the way clang's path grammar requires.
std::string	clang_vfs_root ()

Function Documentation

clang_vfs_path()

std::string clang_vfs_path ( const std::string & bundled )

inline

A bundled path spelled the way clang's path grammar requires.

Identity on POSIX. On Windows llvm::sys::path::is_absolute() also wants a root name, so a bare "/esbmc-vfs/..." would count as relative and header search would never reach the overlay. The drive letter satisfies that grammar only; the overlay sits above the real filesystem, so a real C:\esbmc-vfs is shadowed rather than consulted.

clang_vfs_root()

std::string clang_vfs_root ( )

inline