Parsed function:pfe_spd_acc_get_rule
Parsed function:pfe_spd_acc_remove_rule
Parsed function:pfe_spd_acc_add_rule
Parsed function:pfe_spd_acc_destroy
Parsed function:pfe_spd_acc_init
Dump after hash based groups
Congruence classes: 5 (unique hash values: 5), with total: 5 items
Class size histogram [num of members]: number of classe number of classess
[1]: 5 classes


Dump after WPA based types groups
Congruence classes: 5 (unique hash values: 5), with total: 5 items
Class size histogram [num of members]: number of classe number of classess
[1]: 5 classes


Worklist has been filled with: 0
Address reference subdivision created: 0 new classes.
Dump after callgraph-based congruence reduction
Congruence classes: 5 (unique hash values: 5), with total: 5 items
Class size histogram [num of members]: number of classe number of classess
[1]: 5 classes


Init called for 0 items (0.00%).
Dump after full equality comparison of groups
Congruence classes: 5 (unique hash values: 5), with total: 5 items
Class size histogram [num of members]: number of classe number of classess
[1]: 5 classes


Worklist has been filled with: 0
Address reference subdivision created: 0 new classes.
Congruence classes: 5 (unique hash values: 5), with total: 5 items
Class size histogram [num of members]: number of classe number of classess
[1]: 5 classes



Item count: 5
Congruent classes before: 5, after: 5
Average class size before: 1.00, after: 1.00
Average non-singular class size: 0.00, count: 0
Equal symbols: 0
Fraction of visited symbols: 0.00%

pfe_spd_acc_get_rule (const struct pfe_phy_if_t * phy_if, uint16_t position, struct pfe_ct_spd_entry_t * entry)
{
  errno_t _6;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _6 = pfe_spd_get_rule (phy_if_2(D), position_3(D), entry_4(D));
  return _6;

}


pfe_spd_acc_remove_rule (struct pfe_phy_if_t * phy_if, uint16_t position)
{
  errno_t ret;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  ret_5 = pfe_spd_remove_rule (phy_if_2(D), position_3(D));
  # DEBUG ret => ret_5
  # DEBUG BEGIN_STMT
  return ret_5;

}


pfe_spd_acc_add_rule (struct pfe_phy_if_t * phy_if, uint16_t position, struct pfe_ct_spd_entry_t * entry)
{
  errno_t ret;
  <unnamed type> _1;
  unsigned char _2;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  entry_4(D)->id5t = 0;
  # DEBUG BEGIN_STMT
  _1 = entry_4(D)->flags;
  _2 = _1 & 254;
  entry_4(D)->flags = _2;
  # DEBUG BEGIN_STMT
  ret_10 = pfe_spd_add_rule (phy_if_7(D), position_8(D), entry_4(D));
  # DEBUG ret => ret_10
  # DEBUG BEGIN_STMT
  return ret_10;

}


pfe_spd_acc_destroy (struct pfe_if_db_t * phy_if_db)
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  pfe_spd_destroy (phy_if_db_2(D));
  return;

}


pfe_spd_acc_init (struct pfe_class_t * class, const struct pfe_rtable_t * rtable)
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG ret => 0
  # DEBUG BEGIN_STMT
  pfe_spd_init (class_2(D));
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  return 0;

}


