NASA-SW-VnV / ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Other
2.44k stars 178 forks source link

Using reserved-identifier #299

Open fliiiix opened 6 days ago

fliiiix commented 6 days ago

Is this project using reserved identifiers all over the place on purpose? (I wasn't able to find anything on that topic)

warning: identifier '_EndScalarKind' is reserved because it starts with '_' followed by a capital letter [-Wreserved-identifier]
    _EndScalarKind,

And would you be open to merge something renaming them to lower case identifiers? (Or any other preference for this matter)