padding.h File Reference

ANSI-C Language Type Checking. More...

#include <util/std_types.h>
#include <util/namespace.h>
#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 &
	)

Definition at line 442 of file padding.cpp.

add_padding() [2/2]

void add_padding	(	union_typet &	type,
		const namespacet &
	)

Definition at line 451 of file padding.cpp.

alignment()

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

Definition at line 21 of file padding.cpp.