typecast.cpp File Reference

Implementation of Solidity type casting utilities. More...

#include <solidity-frontend/typecast.h>
#include <util/lang/c_typecast.h>
#include <util/lang/c_types.h>
#include <stdexcept>
#include <sstream>

Include dependency graph for typecast.cpp:

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

Detailed Description

Implementation of Solidity type casting utilities.

Wraps ESBMC's c_typecastt to perform implicit type conversions for Solidity expressions, ensuring operands are cast to compatible types before arithmetic, comparison, and assignment operations.

Function Documentation

solidity_gen_typecast()

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