"git@git.frama-c.com:pub/frama-c.git" did not exist on "e5b0fdbb96936f5e0265257e4dcc3a30651c5e1c"
-
Virgile Prevosto authored
- always remove FC's internal attribute everywhere before deciding whether a cast is needed. - ACSL and C decisions to cast are similar - only unroll type for checking equality. If a cast is needed, keep typedef (if any) as target
Virgile Prevosto authored- always remove FC's internal attribute everywhere before deciding whether a cast is needed. - ACSL and C decisions to cast are similar - only unroll type for checking equality. If a cast is needed, keep typedef (if any) as target
