Szelethus added a comment. In D72705#1838324 <https://reviews.llvm.org/D72705#1838324>, @balazske wrote:
> I am still unsure about how this checker works if the function to check is > "modeled" or evaluated by another checker. Then the function may have already > a constrained value at the PostCall event (for example if a `malloc` fails) > and the basic idea of this checker that the constraints on the return value > indicate the checks that the program makes does not work. So it may be better > to check for the initial constraint somehow and if found ignore that > function. Or create a new state where the function call's value is not > constrained. Under evaluation, you mean `evalCall()`? Could you please detail what your worry is, and what the essence of the current solution is? Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D72705/new/ https://reviews.llvm.org/D72705 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
