Cristian Cadar

@Alkaid-Benetnash thanks for reporting this. That code is indeed buggy and in fact I noticed there are a number of additional problems there. I'll try to fix them soon.

Or I can wait for 2022 ;) Yes, unfortunately some bug fix and feature requests are forgotten, especially when PRs in need of a review keep coming...

@davidtr1037 this seems a duplicate of #62. It would be nice if someone would like to fix it. As mentioned there, the workaround is to use `-pc-all-const-widths`.

That would be nice!

@davidtr1037 any updates on that patch?

Thanks, @andronat. I haven't looked at the details, but I think the TLS switching should be separate from adding support for mimalloc. In other words, SaBRe should work the same...

@andronat I agree that to be able to support a more diverse set of plugins, we need to swap the TLS. But at the same time, I think it's important...

Hi @andronat thanks! I would still remove the commit that switches to Mimalloc to a follow-up PR. I think it's orthogonal to the TLS issue, and it would be good...

Yes, this is the issue, the code is essentially making symbolic the same variable twice, due to the way the LLVM code is generated. A workaround is to allocate space...

@jamacku thanks for this contribution. While we have very few shell scripts, this checks seem quite lightweight, so I'm happy to have them. @MartinNowack, @251, all, any objections?