On 01/21/2013 05:02 AM, Julia Lawall wrote:
From: Julia Lawall
Delete successive tests to the same location. The code tested the result
of a previous allocation, that itself was already tested. It is changed to
test the result of the most recent allocation.
A simplified version of the semant
From: Julia Lawall
Delete successive tests to the same location. The code tested the result
of a previous allocation, that itself was already tested. It is changed to
test the result of the most recent allocation.
A simplified version of the semantic match that finds this problem is as
follows
2 matches
Mail list logo
