- User Since
- Dec 3 2021, 2:13 AM (42 w, 5 d)
Tue, Sep 27
Mon, Sep 5
Thu, Sep 1
Aug 2 2022
Sounds fine. I tend to accept this patch since it is a stepping stone for the patch series, and we can revisit the constant expression case later after all patches merged.
Jul 25 2022
Jul 11 2022
tryToReplaceWithConstant method in SCCP does not update the lattice value map at SCCPSolver, and it might lead to a problem that
The reason why test cases crash at Solver.getLatticeValueFor is that SCCPSolver does not track the lattice value of a callbase argument. However, it is doable for SCCPSolver to track the lattice value of a ConstantExpr, and that is why I think skipping ConstantExpr is not an sound solution.
Jun 1 2022
May 25 2022
Thanks for the info and feedback. I have updated the diff file.