call_graph_builtin_call.cpp File Reference

#include "call_graph_builtin_call.hpp"
#include "custom_map.hpp"
#include <string>
#include "Parameter.hpp"
#include "application_manager.hpp"
#include "basic_block.hpp"
#include "call_graph.hpp"
#include "call_graph_manager.hpp"
#include "dbgPrintHelper.hpp"
#include "design_flow_manager.hpp"
#include "ext_tree_node.hpp"
#include "function_behavior.hpp"
#include "function_decl_refs.hpp"
#include "op_graph.hpp"
#include "string_manipulation.hpp"
#include "symbolic_application_frontend_flow_step.hpp"
#include "tree_basic_block.hpp"
#include "tree_helper.hpp"
#include "tree_manager.hpp"
#include "tree_node.hpp"
#include "tree_reindex.hpp"

Include dependency graph for call_graph_builtin_call.cpp:

Go to the source code of this file.

Functions
static tree_nodeRef	getFunctionPointerType (tree_nodeRef fptr)

Function Documentation

getFunctionPointerType()

static tree_nodeRef getFunctionPointerType ( tree_nodeRef  fptr )

static

Definition at line 336 of file call_graph_builtin_call.cpp.

References GET_NODE, pointer_type::ptd, and THROW_ASSERT.

Referenced by CallGraphBuiltinCall::lookForBuiltinCall().

Here is the caller graph for this function: