Creating a pointer to a local causes valid pointers above it to lose thier valid status (#425) · Issues · pub / frama-c