RTE does not check for downcast of unsigned integer (#1997) · Issues · pub / frama-c