padding.h File Reference

ANSI-C Language Type Checking. More...

#include <util/irep/std_types.h>
#include <util/symtab/namespace.h>
#include <util/arith/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
void	add_padding (typet &type, const namespacet &ns)

Detailed Description

ANSI-C Language Type Checking.

Function Documentation

add_padding()

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