typecast.h File Reference

Type casting utilities for the Solidity frontend. More...

#include <util/symtab/namespace.h>
#include <util/irep/std_expr.h>

Include dependency graph for typecast.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
void	solidity_gen_typecast (const namespacet &ns, exprt &dest, const typet &type)

Detailed Description

Type casting utilities for the Solidity frontend.

Provides implicit type cast generation for Solidity expressions, delegating to ESBMC's C type cast infrastructure to ensure type compatibility in arithmetic and assignment contexts.

Function Documentation

solidity_gen_typecast()

void solidity_gen_typecast ( const namespacet & ns, exprt & dest, const typet & type )

extern