Skip to content
Success

Changes

Summary

  1. Fix oversight in TSan instrumentation (#14332) (commit: 515ad48) (details)
Commit 515ad484df42c6b691a7dc6b14881105663ed62c by noreply
Fix oversight in TSan instrumentation (#14332)

The payload of a load operation was not instrumented,
even though it can be an arbitrary expression (and in particular,
it can itself contain loads).
(commit: 515ad48)
The file was modifiedChanges (diff)
The file was modifiedasmcomp/thread_sanitizer.ml (diff)