Charusso added a comment. In https://reviews.llvm.org/D53076#1305209, @Szelethus wrote:
> In the meanwhile we managed to figure out where the problem lays, so if > you're interested, I'm going to document it here. > > The patch attempts to solve this by inspecting the actual condition, and > tries to find out whether the symbols inside that condition has changed in > between the states, but this is overkill solution, as comparing the two > `ConstraintManager` objects would achieve the same thing. I tried to investigate what is happening after we entered into a condition, which is working well with 'Knowing...' pieces, but with too much overhead. Because this patch is all about write out more information, rather than removing the GDM-checking I will move forward with 'Knowing...' pieces. The current questions are real for that project, just let me simplify the code and create that feature. https://reviews.llvm.org/D53076 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
