[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