__attribute__((aligned(0))) tacitly causes sizeof computation to fail (#402) · Issues · pub / frama-c