search

CS639A-PAVT / BugTracker

Kachua bug reporting page
1 stars 2 forks source link

issue-AI: worklistAlgorithm is not using the initilalized value for bbIn["0"] #25

Closed mayank393 closed 3 years ago

mayank393 commented 3 years ago

Describe the bug As per my understanding of the abstractInterpretations.worklistAlgorithm calls ForwardAnalysis.meet() on the predecessor blocks to form the input of any block. However, since the first block does not have any predecessor. The values I have assigned in the ForwardAnalysis.initialize() are not showing in the final formed bbIn and bbOut variables.

If I add some lines in the abstractInterpretations.worklistAlgorithm then it works correctly

  if label == 'T':
      inlist.append(bbOut[pred.name][0])
  else:
      assert len(bbOut[pred.name]) > 1
      inlist.append(bbOut[pred.name][1])

  '''Additional Code'''
  if len(predList) == 0:
      inlist.append(bbIn["0"])

Kindly take a look once. Apologies for not providing a better description.

pkalita595 commented 3 years ago

Thanks for pointing out this issue, will release a fix soon.

pkalita595 commented 3 years ago

Fixed in Kachua v5.2