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>
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.
|
static |
Definition at line 23 of file linking_diagnostics.cpp.