Bug Report: Dependence Analysis with PET about pluto

[bondhugula]

When Pet is used as the frontend, the dependence analysis happens directly on the read and write access relations obtained from pet, i.e., the dependence analysis doesn't happen on stmt->reads/writes. So, I wouldn't expect you to be missing any dependences when using --pet. The code at line 422-423 is only on extracting access information from the computed dependence, and as you point out, won't extract that info (src_acc, dest_acc will be set to NULL). The dependence will still be there, and so you won't have an invalid transformation. To confirm, please see output with:

--moredebug

(The dependences are printed out.)

Thank you for reporting this though - the guard needs to be fixed so that src/dest acc info is correctly propagated. The 0 byte malloc should be fixed as well.

[bondhugula]

@whbldhwj Fixed in these two commits.

[whbldhwj]

Yeah I thought it won't affect the transformation. Just I was trying to use the access information and found the field is NULL for such cases. Thanks for the fast response!