tree 4029f0825be273adac2c05ee8712947fb3bdef7c
parent a8ade16ffd4e8466be75a03fbec4e98cb4db479f
author Gilles Peskine <Gilles.Peskine@arm.com> 1561542604 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1561572095 +0200

Explain that lifetime=0 from static initialization means VOLATILE