Rob McKay
Rob McKay
> Hi @Rob-McKay, thanks for the contribution. > > Could you please fill the [Contributor License Agreements](https://github.com/NASA-SW-VnV/ikos/tree/master/doc/contribute) and send it to [[email protected]](mailto:[email protected])? I've emailed the form as requested.
I would prefer that it was merged to aid others with using other OS's.
I'm not actually calling anything yet. This is generated by the GCC 12.2Rel1 when it is doing its analysis of the `printf.c` file. I think that the underlying issue is...
> So, basically - it's not a bug, just a potential foot-gun, which is a design decision older than my involvement in this project. It also prevents compiling on GCC...
@eyalroz I have raised pull request #150 to fix this issue
@eyalroz: I have found out what causes GCC to generate the warning. If you add the `-fanalyzer` compiler option you will also see the warning on x86_64.
Hi @Dan10012 , Are you able to publish the details you worked out to use Libero SoC 11.9 in a docker image?