CBMC
Loading...
Searching...
No Matches
Functions
linking_diagnostics.cpp File Reference

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

 

Detailed Description

ANSI-C Linking.

Definition in file linking_diagnostics.cpp.

Function Documentation

◆  follow_tags_symbols()

static const typet & follow_tags_symbols ( const namespacetns,
const typettype 
)
static

Definition at line 23 of file linking_diagnostics.cpp.

AltStyle によって変換されたページ (->オリジナル) /