Add column to location - Githubissues

goblint / cil

C Intermediate Language

https://goblint.github.io/cil/

Other

40 stars 16 forks source link

Closed sim642 closed 3 years ago

sim642 commented 3 years ago

This would allow more precise locations in Goblint, particularly when multiple statements are on a single line.

[x] ~~Update d_loc?~~ Potentially breaks a lot of Goblint scripts that try to parse locations and what would even be the format?
[x] Update compareLoc etc.
[x] Update Goblint in parallel (https://github.com/goblint/analyzer/pull/295).

sim642 commented 3 years ago

I renamed it from lineoffset to column now since that should be a more standard name.