aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/Analysis/FormatString.cpp
diff options
context:
space:
mode:
authorRobin Morisset <morisset@google.com>2014-08-29 20:32:58 +0000
committerRobin Morisset <morisset@google.com>2014-08-29 20:32:58 +0000
commit163ef0402a231796c8dc915a92dd5a8e72d70079 (patch)
tree8acd51607b5a5ac62943011febe90e206255d3a2 /clang/lib/Analysis/FormatString.cpp
parent541252402559388dd633dfb7ff2df6433544ec61 (diff)
downloadllvm-163ef0402a231796c8dc915a92dd5a8e72d70079.zip
llvm-163ef0402a231796c8dc915a92dd5a8e72d70079.tar.gz
llvm-163ef0402a231796c8dc915a92dd5a8e72d70079.tar.bz2
Relax the constraint more in MemoryDependencyAnalysis.cpp
Even loads/stores that have a stronger ordering than monotonic can be safe. The rule is no release-acquire pair on the path from the QueryInst, assuming that the QueryInst is not atomic itself. llvm-svn: 216771
Diffstat (limited to 'clang/lib/Analysis/FormatString.cpp')
0 files changed, 0 insertions, 0 deletions