summaryrefslogtreecommitdiff
path: root/stdlib/obj.mli
diff options
context:
space:
mode:
authorXavier Leroy <xavierleroy@users.noreply.github.com>2023-05-16 11:52:31 +0200
committerGitHub <noreply@github.com>2023-05-16 11:52:31 +0200
commit8d1af245ef46e40652be4509f03ab600405aef63 (patch)
tree2e68eb707d3d6e40c1d22153aa62adf4f73e9ef7 /stdlib/obj.mli
parentcd01cac2e11706cac40462f185345848596f2b40 (diff)
downloadocaml-trunk.tar.gz
Instruction scheduling: do not reorder atomic loads (#12248)HEADtrunk
Just treat atomic loads like stores. Fixes: #12216
Diffstat (limited to 'stdlib/obj.mli')
0 files changed, 0 insertions, 0 deletions