PandA-2024.02
|
Class which system_flag to tree_node of variables and types when necessary. More...
#include <check_system_type.hpp>
Public Member Functions | |
CheckSystemType (const ParameterConstRef _parameters, const application_managerRef AppM, unsigned int function_id, const DesignFlowManagerConstRef design_flow_manager) | |
Constructor. More... | |
~CheckSystemType () override | |
Destructor. More... | |
DesignFlowStep_Status | InternalExec () override |
Adds the system_flag to the tree_node's of variables and types when necessary. More... | |
bool | HasToBeExecuted () const override |
Check if this step has actually to be executed. More... | |
Public Member Functions inherited from FunctionFrontendFlowStep | |
FunctionFrontendFlowStep (const application_managerRef AppM, const unsigned int function_id, const FrontendFlowStepType frontend_flow_step_type, const DesignFlowManagerConstRef design_flow_manager, const ParameterConstRef parameters) | |
Constructor. More... | |
~FunctionFrontendFlowStep () override | |
Destructor. More... | |
void | ComputeRelationships (DesignFlowStepSet &relationship, const DesignFlowStep::RelationshipType relationship_type) override |
Compute the relationships of a step with other steps. More... | |
std::string | GetSignature () const override |
Return the signature of this step. More... | |
std::string | GetName () const override |
Return the name of this design step. More... | |
DesignFlowStep_Status | Exec () final |
Execute the step. More... | |
unsigned int | CGetBBVersion () const |
unsigned int | GetBitValueVersion () const |
void | PrintInitialIR () const override |
Dump the initial intermediate representation. More... | |
void | PrintFinalIR () const override |
Dump the final intermediate representation. More... | |
Public Member Functions inherited from FrontendFlowStep | |
FrontendFlowStep (const application_managerRef AppM, const FrontendFlowStepType frontend_flow_step_type, const DesignFlowManagerConstRef design_flow_manager, const ParameterConstRef parameters) | |
Constructor. More... | |
~FrontendFlowStep () override | |
Destructor. More... | |
virtual std::string | GetKindText () const |
Return the name of the type of this frontend flow step. More... | |
DesignFlowStepFactoryConstRef | CGetDesignFlowStepFactory () const override |
Return the factory to create this type of steps. More... | |
void | PrintTreeManager (const bool before) const |
Dump the tree manager. More... | |
Public Member Functions inherited from DesignFlowStep | |
DesignFlowStep (const DesignFlowManagerConstRef design_flow_manager, const ParameterConstRef parameters) | |
Constructor. More... | |
virtual | ~DesignFlowStep () |
Destructor. More... | |
virtual void | Initialize () |
Initialize the step (i.e., like a constructor, but executed just before exec. More... | |
DesignFlowStep_Status | GetStatus () const |
Return the status of this design step. More... | |
virtual void | WriteDot (std::ostream &out) const |
Write the label for a dot graph. More... | |
bool | IsComposed () const |
Returns if this step is composed. More... | |
int | CGetDebugLevel () const |
Return the debug level of the step. More... | |
Private Member Functions | |
void | recursive_examinate (const tree_nodeRef &tn, CustomUnorderedSet< unsigned int > &already_visited) const |
Examinate recursively the tree to detect system types and system variables. More... | |
void | recursive_examinate (const tree_nodeRef &curr_tn, const unsigned int index, CustomUnorderedSet< unsigned int > &already_visited) const |
Examinate recursively the tree to detect system types and system variables. More... | |
bool | is_system_include (std::string include) const |
Check if an header is a system header. More... | |
const CustomUnorderedSet< std::pair< FrontendFlowStepType, FunctionRelationship > > | ComputeFrontendRelationships (const DesignFlowStep::RelationshipType relationship_type) const override |
Return the set of analyses in relationship with this design step. More... | |
Static Private Member Functions | |
static void | build_include_structures (ParameterConstRef parameters) |
Build the include map, the function rename map and library system sets. More... | |
static std::string | getRealInclName (const std::string &include) |
Given the string stored in a srcp of the raw return the correct include name. More... | |
Private Attributes | |
const BehavioralHelperConstRef | behavioral_helper |
The helper associated with the current function. More... | |
const tree_managerRef | TM |
The tree manager. More... | |
bool | already_executed |
Already executed. More... | |
Static Private Attributes | |
static std::vector< std::string > | systemIncPath |
Contains the list of the folders containing the system header files. More... | |
static const CustomUnorderedMap< std::string, std::string > | inclNameToPath |
Associates to each system header file its full path. More... | |
static const CustomUnorderedMap< std::string, std::string > | rename_function |
Associates a function to its original name. More... | |
static const CustomUnorderedMap< std::string, std::string > | rename_types |
Associates a type to its original name. More... | |
static const CustomUnorderedSet< std::string > | library_system_functions |
The set of functions which have to be considered library_system. More... | |
static const CustomUnorderedSet< std::string > | library_system_includes = {{"math.h"}} |
The set of headers which contains function which have to be considered library_system. More... | |
static const CustomUnorderedMap< std::string, std::string > | undefined_library_function_include |
Map undefined library function to corresponding header. More... | |
Additional Inherited Members | |
Public Types inherited from FrontendFlowStep | |
using | FunctionRelationship = enum { ALL_FUNCTIONS, CALLED_FUNCTIONS, CALLING_FUNCTIONS, SAME_FUNCTION, WHOLE_APPLICATION } |
The different relationship type between function analysis. More... | |
Public Types inherited from DesignFlowStep | |
enum | RelationshipType { DEPENDENCE_RELATIONSHIP, INVALIDATION_RELATIONSHIP, PRECEDENCE_RELATIONSHIP } |
The relationship type. More... | |
Static Public Member Functions inherited from FunctionFrontendFlowStep | |
static const std::string | ComputeSignature (const FrontendFlowStepType frontend_flow_step_type, const unsigned int function_id) |
Compute the signature of a function frontend flow step. More... | |
Static Public Member Functions inherited from FrontendFlowStep | |
static void | CreateSteps (const DesignFlowManagerConstRef design_flow_manager, const CustomUnorderedSet< std::pair< FrontendFlowStepType, FunctionRelationship >> &frontend_relationships, const application_managerConstRef application_manager, DesignFlowStepSet &relationships) |
Create the relationship steps of a step with other steps starting from already specified dependencies between frontend flow steps. More... | |
static const std::string | EnumToKindText (const FrontendFlowStepType frontend_flow_step_type) |
Given a frontend flow step type, return the name of the type. More... | |
Protected Member Functions inherited from FunctionFrontendFlowStep | |
void | WriteBBGraphDot (const std::string &filename) const |
Write the current version of statement list in dot format. More... | |
Protected Attributes inherited from FunctionFrontendFlowStep | |
const FunctionBehaviorRef | function_behavior |
The function behavior of the function to be analyzed. More... | |
const unsigned int | function_id |
The index of the function to be analyzed. More... | |
unsigned int | bb_version |
The version of the basic block intermediate representation on which this step has been applied. More... | |
unsigned int | bitvalue_version |
The version of the bitvalue information on which this step has been applied. More... | |
Protected Attributes inherited from FrontendFlowStep | |
const application_managerRef | AppM |
The application manager. More... | |
const FrontendFlowStepType | frontend_flow_step_type |
The type of this step. More... | |
unsigned int | print_counter |
Print counter. More... | |
Protected Attributes inherited from DesignFlowStep | |
bool | composed |
True if this step represents a composition of design flow steps (e.g., a flow); must be set by specialized constructors. More... | |
const Wrefcount< const DesignFlowManager > | design_flow_manager |
The design flow manager. More... | |
const ParameterConstRef | parameters |
Set of input parameters. More... | |
int | debug_level |
The debug level. More... | |
const int | output_level |
The output level. More... | |
Class which system_flag to tree_node of variables and types when necessary.
Definition at line 62 of file check_system_type.hpp.
CheckSystemType::CheckSystemType | ( | const ParameterConstRef | _parameters, |
const application_managerRef | AppM, | ||
unsigned int | function_id, | ||
const DesignFlowManagerConstRef | design_flow_manager | ||
) |
Constructor.
Param | is the set of the parameters |
AppM | is the application manager |
function_id | is the index of the function |
design_flow_manager | is the design flow manager |
Definition at line 143 of file check_system_type.cpp.
References build_include_structures(), DesignFlowStep::debug_level, DEBUG_LEVEL_NONE, GET_CLASS, DesignFlowStep::parameters, systemIncPath, and ~CheckSystemType().
|
overridedefault |
|
staticprivate |
Build the include map, the function rename map and library system sets.
replace z:/mingw at the beginning of the string
Definition at line 934 of file check_system_type.cpp.
References CT_NO_COMPILER, FILENAME_NORM, O0, starts_with(), and systemIncPath.
Referenced by CheckSystemType().
|
overrideprivatevirtual |
Return the set of analyses in relationship with this design step.
relationship_type | is the type of relationship to be considered |
Implements FrontendFlowStep.
Definition at line 160 of file check_system_type.cpp.
References DesignFlowStep::DEPENDENCE_RELATIONSHIP, DesignFlowStep::INVALIDATION_RELATIONSHIP, DesignFlowStep::PRECEDENCE_RELATIONSHIP, SAME_FUNCTION, and THROW_UNREACHABLE.
|
staticprivate |
Given the string stored in a srcp of the raw return the correct include name.
include | is the string of srcp to be checked |
Definition at line 994 of file check_system_type.cpp.
References FILENAME_NORM, inclNameToPath, starts_with(), and systemIncPath.
Referenced by recursive_examinate().
|
overridevirtual |
Check if this step has actually to be executed.
Reimplemented from FunctionFrontendFlowStep.
Definition at line 187 of file check_system_type.cpp.
References already_executed.
|
overridevirtual |
Adds the system_flag to the tree_node's of variables and types when necessary.
Implements FunctionFrontendFlowStep.
Definition at line 192 of file check_system_type.cpp.
References already_executed, FrontendFlowStep::AppM, FunctionFrontendFlowStep::function_id, GET_NODE, recursive_examinate(), sl, SUCCESS, and TM.
|
private |
Check if an header is a system header.
include | is the header file |
Definition at line 915 of file check_system_type.cpp.
References DesignFlowStep::debug_level, DEBUG_LEVEL_VERY_PEDANTIC, FILENAME_NORM, INDENT_DBG_MEX, and systemIncPath.
Referenced by recursive_examinate().
|
private |
Examinate recursively the tree to detect system types and system variables.
tn | is the root of the subtree to be examinated; it must be a tree_reindex |
Definition at line 222 of file check_system_type.cpp.
References GET_INDEX_NODE, tree_node::get_kind(), GET_NODE, and THROW_ASSERT.
Referenced by InternalExec(), and recursive_examinate().
|
private |
Examinate recursively the tree to detect system types and system variables.
curr_tn | is the root of the subtree to be examinated; it must not be a tree_reindex |
index | is the index of the tree_node |
Definition at line 229 of file check_system_type.cpp.
References test_panda::arg, behavioral_helper, CASE_BINARY_EXPRESSION, CASE_CPP_NODES, CASE_CST_NODES, CASE_DECL_NODES, CASE_FAKE_NODES, CASE_GIMPLE_NODES, CASE_PRAGMA_NODES, CASE_QUATERNARY_EXPRESSION, CASE_TERNARY_EXPRESSION, CASE_TYPE_NODES, CASE_UNARY_EXPRESSION, DesignFlowStep::debug_level, DEBUG_LEVEL_VERY_PEDANTIC, GET_CONST_NODE, BehavioralHelper::get_definition(), tree_node::get_kind(), tree_node::get_kind_text(), GET_NODE, getRealInclName(), INDENT_DBG_MEX, is_system_include(), tree_helper::IsInLibbambu(), library_system_functions, library_system_includes, NODE_NOT_YET_SUPPORTED_EC, DesignFlowStep::parameters, PRINT_DBG_MEX, tree_helper::print_function_name(), BehavioralHelper::PrintVariable(), recursive_examinate(), rename_function, rename_types, STR, THROW_ASSERT, THROW_ERROR_CODE, THROW_UNREACHABLE, TM, and undefined_library_function_include.
|
private |
Already executed.
Definition at line 93 of file check_system_type.hpp.
Referenced by HasToBeExecuted(), and InternalExec().
|
private |
The helper associated with the current function.
Definition at line 66 of file check_system_type.hpp.
Referenced by recursive_examinate().
|
staticprivate |
Associates to each system header file its full path.
Definition at line 75 of file check_system_type.hpp.
Referenced by getRealInclName().
|
staticprivate |
The set of functions which have to be considered library_system.
Definition at line 84 of file check_system_type.hpp.
Referenced by recursive_examinate().
|
staticprivate |
The set of headers which contains function which have to be considered library_system.
Definition at line 87 of file check_system_type.hpp.
Referenced by recursive_examinate().
|
staticprivate |
Associates a function to its original name.
Definition at line 78 of file check_system_type.hpp.
Referenced by recursive_examinate().
|
staticprivate |
Associates a type to its original name.
Definition at line 81 of file check_system_type.hpp.
Referenced by recursive_examinate().
|
staticprivate |
Contains the list of the folders containing the system header files.
Definition at line 72 of file check_system_type.hpp.
Referenced by build_include_structures(), CheckSystemType(), getRealInclName(), and is_system_include().
|
private |
The tree manager.
Definition at line 69 of file check_system_type.hpp.
Referenced by InternalExec(), and recursive_examinate().
|
staticprivate |
Map undefined library function to corresponding header.
Definition at line 90 of file check_system_type.hpp.
Referenced by recursive_examinate().