Fix alloc varinfo name with no thread ID but with counter

goblint / analyzer

Static analysis framework for C

https://goblint.in.tum.de

MIT License

160 stars 72 forks source link

Fix alloc varinfo name with no thread ID but with counter #1390

Closed sim642 closed 3 months ago

sim642 commented 3 months ago

Closes #1388.

The bug really stems from the fact that RichVarinfoMap doesn't determine equality based on the rich data (which is correct in this test) but instead the varinfo display name (which happened to be wrong). Namely, the uniqueness counter was mistakenly omitted from the name when the thread ID is top. This makes them independent.