CBMC
Loading...
Searching...
No Matches
Functions
padding.h File Reference

ANSI-C Language Type Checking. More...

#include <util/mp_arith.h>
+ Include dependency graph for padding.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

mp_integer  alignment (const typet &type, const namespacet &)
 
void  add_padding (struct_typet &type, const namespacet &)
 
void  add_padding (union_typet &type, const namespacet &)
 

Detailed Description

ANSI-C Language Type Checking.

Definition in file padding.h.

Function Documentation

◆  add_padding() [1/2]

void add_padding ( struct_typet &  type,
const namespacet &  ns 
)

Definition at line 459 of file padding.cpp.

◆  add_padding() [2/2]

void add_padding ( union_typet &  type,
const namespacet &  ns 
)

Definition at line 468 of file padding.cpp.

◆  alignment()

mp_integer alignment ( const typet &  type,
const namespacet &  ns 
)

Definition at line 23 of file padding.cpp.

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