GCC Middle and Back End API Reference
ana::feasibility_problem Class Reference

#include <exploded-graph.h>

Collaboration diagram for ana::feasibility_problem:

Public Member Functions

 feasibility_problem (unsigned eedge_idx, const exploded_edge &eedge, const gimple *last_stmt, std::unique_ptr< rejected_constraint > rc)
void dump_to_pp (pretty_printer *pp) const

Data Fields

unsigned m_eedge_idx
const exploded_edgem_eedge
const gimplem_last_stmt
std::unique_ptr< rejected_constraintm_rc

Detailed Description

A reason why a particular exploded_path is infeasible.   

Constructor & Destructor Documentation

◆ feasibility_problem()

ana::feasibility_problem::feasibility_problem ( unsigned eedge_idx,
const exploded_edge & eedge,
const gimple * last_stmt,
std::unique_ptr< rejected_constraint > rc )

Member Function Documentation

◆ dump_to_pp()

void ana::feasibility_problem::dump_to_pp ( pretty_printer * pp) const

Field Documentation

◆ m_eedge

const exploded_edge& ana::feasibility_problem::m_eedge

◆ m_eedge_idx

unsigned ana::feasibility_problem::m_eedge_idx

◆ m_last_stmt

const gimple* ana::feasibility_problem::m_last_stmt

◆ m_rc

std::unique_ptr<rejected_constraint> ana::feasibility_problem::m_rc

The documentation for this class was generated from the following file: