memory blocks: pointer assignment and equality treated differently (#2100) · Issues · pub / frama-c