Fix relation analysis ignoring extern inits

goblint / analyzer

Static analysis framework for C

https://goblint.in.tum.de

MIT License

160 stars 72 forks source link

Closed sim642 closed 1 month ago

sim642 commented 2 months ago

Fixes two instances from #1440.

For some reason the relation analysis simply ignored extern initializers, which meant that those variables evaluated to bottom in conditionals.