summaryrefslogtreecommitdiffhomepage
path: root/tools/nogo/check
diff options
context:
space:
mode:
authorNicolas Lacasse <nlacasse@google.com>2020-06-03 12:33:51 -0700
committergVisor bot <gvisor-bot@google.com>2020-06-03 12:35:13 -0700
commit7da69fe9719b26f5d15e80b2764459c4cac80b0e (patch)
treeca79e3feee532997575a12c963ac8f5be329627b /tools/nogo/check
parentb2e2a081a8a180764677111ae3c0b6179be81d31 (diff)
Fix data race on f.offset.
We must hold f.mu to write f.offset. PiperOrigin-RevId: 314582968
Diffstat (limited to 'tools/nogo/check')
0 files changed, 0 insertions, 0 deletions