[PATCH] D21667: [analyzer] Add rudimentary handling of AtomicExpr.
Noel Grandin via cfe-commits
cfe-commits at lists.llvm.org
Fri Jun 24 01:21:19 PDT 2016
grandinj added a subscriber: grandinj.
================
Comment at: test/Analysis/atomics.c:4
@@ +3,3 @@
+// Tests for c11 atomics. Many of these tests currently yield unknown
+// because we don't folly model the atomics and instead imprecisely
+// treat their arguments as escaping.
----------------
folly->fully
http://reviews.llvm.org/D21667
More information about the cfe-commits
mailing list