[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