Nested scopes may cause issues with the validity of created pointers (#409) · Issues · pub / frama-c