[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 mailing list