Wp rises an error in if you use struct and long long type, with wp-rte option (#2117) · Issues · pub / frama-c