tree_helper.cpp File Reference

This file collects some utility functions. More...

#include "tree_helper.hpp"
#include "token_interface.hpp"
#include <algorithm>
#include <utility>
#include "ext_tree_node.hpp"
#include "math_function.hpp"
#include "tree_basic_block.hpp"
#include "tree_manager.hpp"
#include "tree_node.hpp"
#include "tree_reindex.hpp"
#include "var_pp_functor.hpp"
#include "dbgPrintHelper.hpp"
#include "exceptions.hpp"
#include "string_manipulation.hpp"
#include <filesystem>
#include <iostream>
#include <regex>
#include <set>

Include dependency graph for tree_helper.cpp:

Go to the source code of this file.

Functions
static std::string	sign_reduce_bitstring (std::string bitstring, bool bitstring_is_signed)
	function slightly different than BitLatticeManipulator::sign_reduce_bitstring More...
static void	getBuiltinFieldTypes (const tree_nodeConstRef &_type, std::list< tree_nodeConstRef > &listOfTypes, CustomUnorderedSet< unsigned int > &already_visited)
static bool	same_size_fields (const tree_nodeConstRef &t)
static tree_nodeConstRef	check_for_simple_pointer_arithmetic (const tree_nodeConstRef &node)

Detailed Description

This file collects some utility functions.

Author

Katia Turati turat.nosp@m.i@el.nosp@m.et.po.nosp@m.limi.nosp@m..it

Fabrizio Ferrandi fabri.nosp@m.zio..nosp@m.ferra.nosp@m.ndi@.nosp@m.polim.nosp@m.i.it

Marco Lattuada lattu.nosp@m.ada@.nosp@m.elet..nosp@m.poli.nosp@m.mi.it

Definition in file tree_helper.cpp.

Function Documentation

check_for_simple_pointer_arithmetic()

static tree_nodeConstRef check_for_simple_pointer_arithmetic ( const tree_nodeConstRef &  node )

static

Definition at line 3025 of file tree_helper.cpp.

References CASE_CPP_NODES, CASE_CST_NODES, CASE_FAKE_NODES, CASE_PRAGMA_NODES, CASE_TYPE_NODES, GET_CONST_NODE, and THROW_UNREACHABLE.

Referenced by tree_helper::GetBaseVariable(), and tree_helper::IsPointerResolved().

Here is the caller graph for this function:

getBuiltinFieldTypes()

static void getBuiltinFieldTypes ( const tree_nodeConstRef &  _type, std::list< tree_nodeConstRef > &  listOfTypes, CustomUnorderedSet< unsigned int > &  already_visited  )

static

Definition at line 2354 of file tree_helper.cpp.

References tree_helper::CGetType(), GET_CONST_NODE, THROW_ASSERT, and test_panda::type.

Referenced by tree_helper::CGetArrayBaseType(), and same_size_fields().

Here is the call graph for this function:

Here is the caller graph for this function:

same_size_fields()

static bool same_size_fields ( const tree_nodeConstRef &  t )

static

Definition at line 2407 of file tree_helper.cpp.

References GET_CONST_NODE, getBuiltinFieldTypes(), tree_helper::IsStructType(), and tree_helper::Size().

Referenced by tree_helper::IsArrayEquivType().

Here is the call graph for this function:

Here is the caller graph for this function:

sign_reduce_bitstring()

static std::string sign_reduce_bitstring ( std::string  bitstring, bool  bitstring_is_signed  )

static

function slightly different than BitLatticeManipulator::sign_reduce_bitstring

Definition at line 112 of file tree_helper.cpp.

References THROW_ASSERT.

Referenced by tree_helper::Size().

Here is the caller graph for this function: