[PATCH] D21667: [analyzer] Add rudimentary handling of AtomicExpr.

Anna Zaks via cfe-commits cfe-commits at lists.llvm.org
Thu Jul 7 10:14:03 PDT 2016


zaks.anna accepted this revision.
This revision is now accepted and ready to land.

================
Comment at: lib/StaticAnalyzer/Core/ExprEngine.cpp:2075
@@ +2074,3 @@
+void ExprEngine::VisitAtomicExpr(const AtomicExpr *AE, ExplodedNode *Pred,
+                     ExplodedNodeSet &Dst) {
+  ExplodedNodeSet AfterPreSet;
----------------
alignment is off?


http://reviews.llvm.org/D21667





More information about the cfe-commits mailing list