BUILD_OK
dce80_link_encoder_create index reachability (values DC core produces for VBIOS objects):

[1] &link_enc_regs[transmitter]:
  link_enc_regs[transmitter]         index  -1  vs 7 entries : *** OUT OF BOUNDS ***
  link_enc_regs[transmitter]         index   0  vs 7 entries : ok
  link_enc_regs[transmitter]         index   5  vs 7 entries : ok
  link_enc_regs[transmitter]         index   6  vs 7 entries : ok
  link_enc_regs[transmitter]         index   7  vs 7 entries : *** OUT OF BOUNDS ***
  link_enc_regs[transmitter]         index   8  vs 7 entries : *** OUT OF BOUNDS ***
  link_enc_regs[transmitter]         index   9  vs 7 entries : *** OUT OF BOUNDS ***

[2] &link_enc_aux_regs[channel - 1]:
  link_enc_aux_regs[channel-1]       index  -1  vs 6 entries : *** OUT OF BOUNDS ***
  link_enc_aux_regs[channel-1]       index   0  vs 6 entries : ok
  link_enc_aux_regs[channel-1]       index   5  vs 6 entries : ok
  link_enc_aux_regs[channel-1]       index   6  vs 6 entries : *** OUT OF BOUNDS ***
  link_enc_aux_regs[channel-1]       index   7  vs 6 entries : *** OUT OF BOUNDS ***

[3] &link_enc_hpd_regs[hpd_source]:
  link_enc_hpd_regs[hpd_source]      index   0  vs 6 entries : ok
  link_enc_hpd_regs[hpd_source]      index   5  vs 6 entries : ok
  link_enc_hpd_regs[hpd_source]      index   6  vs 6 entries : *** OUT OF BOUNDS ***

Dereference sites of the stored OOB pointers:
  dce_link_encoder.c:494  AUX_REG(AUX_CONTROL)          -> dm_read_reg/dm_write_reg
  dce_link_encoder.c:501  AUX_REG(AUX_DPHY_RX_CONTROL0) -> dm_read_reg/dm_write_reg
  dce_link_encoder.c:1370 HPD_REG(DC_HPD_CONTROL)       -> dm_read_reg/dm_write_reg
  dce_link_encoder.c:1384 HPD_REG(DC_HPD_CONTROL)       -> dm_read_reg/dm_write_reg
RC=0