Handle operations on the addresses of non-array types

goblint / analyzer

Static analysis framework for C

https://goblint.in.tum.de

MIT License

172 stars 72 forks source link

Handle operations on the addresses of non-array types #1480

Open karoliineh opened 4 months ago

karoliineh commented 4 months ago

Solves #1421

karoliineh commented 2 months ago

I was satisfied with the fix that I proposed here, but I think @sim642 was unsure if it was the right fix for this. @michael-schwarz, could you please take a look at it? Do you think this fix is reasonable?