c2goto → clang-c-frontend Relation

File in src/c2goto	Includes file in src/clang-c-frontend
cprover_libc_sources.cpp	AST / vfs_paths.h