Fix aligned/packed C attributes and enum/enumerator underlying types (!15) · Merge requests · verification / CPAchecker

Use alignment from the __aligned__ GNU C attribute.

__packed__ can influence both alignment inside struct/union and enum's underlying type.

Fix enums' vs. enumerators' underlying types according to C11 §6.7.2.2 (2,3,4) and GCC/Clang implementation.

Fix aligned/packed C attributes and enum/enumerator underlying types