[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.
More information about the cfe-commits