clang-c-frontend → c2goto Relation

File in src/clang-c-frontend	Includes file in src/c2goto
clang_c_language.cpp	cprover_library.h