staticanalysis / data-race-test

Automatically exported from code.google.com/p/data-race-test
0 stars 0 forks source link

Go: incorrect component access handling #84

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago
Must handle as follows:

var p Point
_ = p.x // read of x
p.x = 1 // write to x

var pp *Point
_ = pp.x // read of pp and x
pp.x = 1 // read of pp and write to x

and so on.

Original issue reported on code.google.com by dvyu...@google.com on 17 Jan 2012 at 11:02