|
CBMC
|
ANSI-C Linking. More...
#include "linking_diagnostics.h"#include <util/c_types.h>#include <util/mathematical_types.h>#include <util/message.h>#include <util/namespace.h>#include <langapi/language_util.h>#include <unordered_set>
Include dependency graph for linking_diagnostics.cpp:Go to the source code of this file.
Functions | |
| static const typet & | follow_tags_symbols (const namespacet &ns, const typet &type) |
ANSI-C Linking.
Definition in file linking_diagnostics.cpp.
Definition at line 23 of file linking_diagnostics.cpp.