alias between int* and uint* handled incorrectly (#2196) · Issues · pub / frama-c