[PATCH] D152818: [Clang] Fix assertion when pragma FENV_ACCESS is used with a throw function.

Tue Jun 13 08:07:52 PDT 2023

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