Hi all, just pinging this thread in case it got lost in the shuffle.
Best, Nina On Fri, 30 Aug 2024 at 13:49, Nina Dinka Ranns <dinka.ra...@googlemail.com> wrote: > We currently do not expect comdat group of the guarded function to > be set at the time of generating pre and post check function. > However, in the case of an explicit instantiation, the guarded > function has been added to a comdat group before generating contract > check functions, which causes the observed ICE. Current assert > removed and an additional check for comdat group of the guarded > function added. With this change, the pre and post check functions > get added to the same comdat group of the guarded function if the > guarded function is already placed in a comdat group. > > Tested on x86_64-pc-linux-gnu. > > Patch attached to the email. > > OK for trunk? > > Best, > Nina >
