tree 7a47d3f6719bb9565e54baf5f0f6cf0680f1e747
parent 93a7f7d7f80f89597733b67f63dfbd3ce8b09588
author Gilles Peskine <Gilles.Peskine@arm.com> 1656160163 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1656160163 +0200

Remove largely useless bit of test log to silence GCC 12

GCC 12 emits a warning because it thinks `buffer1` is used after having been
freed. The code is correct C because we're only using the value of
`(uintptr_t)buffer1`, not `buffer1`. However, we aren't using the value for
anything useful: it doesn't really matter if an alloc-free-alloc sequence
returns the same address twice. So don't print that bit of information, and
this way we don't need to save the old address.

Fixes #5974.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>