zahiraam added a comment. In D152818#4417683 <https://reviews.llvm.org/D152818#4417683>, @tbaeder wrote:
> In D152818#4417649 <https://reviews.llvm.org/D152818#4417649>, @zahiraam > wrote: > >> In D152818#4417644 <https://reviews.llvm.org/D152818#4417644>, @tbaeder >> wrote: >> >>> Has the test case been obfuscated on purpose? >> >> This is a smaller reproducible from creduce. Didn't know if it would be OK >> to have an include in a LIT test? > > Okay, not sure if we have a policy regarding that. Just looking at it, I > don't think anyone understands what it's doing. It's definitely related to the use of the pragma and the throw function. I could put the "fstream" header in an Inputs folder? I see an #include <stdio.h> in Analysis/z3/Inputs/MockZ3_solver_check.c. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D152818/new/ https://reviews.llvm.org/D152818 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits