keep some string for truncated integer constants

cil-project / cil

C Intermediate Language

Other

348 stars 86 forks source link

keep some string for truncated integer constants #37

Open vogler opened 6 years ago

vogler commented 6 years ago

CInt64 has a string option for the original representation, but it is always None. Also, this should allow to check if it was truncated or not. See goblint/analyzer#59.