tree 9606c17ece14cc9b395903aa2c7ba13b7bcb6798
parent ad28bf0e58b21d38d948e04cd71ba9c84927b02f
author Gilles Peskine <Gilles.Peskine@arm.com> 1524694970 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1524729640 +0200

Be more precise about when a variable is unused