search

goblint / analyzer

Static analysis framework for C
https://goblint.in.tum.de
MIT License
172 stars 72 forks source link

Document implementation-defined behavior following GCC #1415

Open michael-schwarz opened 5 months ago

michael-schwarz commented 5 months ago

As a follow-up of #1414 this documents one further instance where we make assumptions (implementation-defined behavior follows GCC).