[PATCH] D21667: [analyzer] Add rudimentary handling of AtomicExpr.
Devin Coughlin via cfe-commits
cfe-commits at lists.llvm.org
Thu Jun 23 16:44:37 PDT 2016
dcoughlin created this revision.
dcoughlin added reviewers: zaks.anna, rsmith.
dcoughlin added a subscriber: cfe-commits.
This proposed patch adds crude handling of atomics to the static analyzer.
Rather than ignore AtomicExprs, as we now do, this patch causes the analyzer
to escape the arguments. This is imprecise -- and we should model the
expressions fully in the future -- but it is less wrong than ignoring their
Richard: Would you mind reviewing the changes I made to AtomicExpr in the AST? I had
to add a const accessor for the subexpressions.
Anna: Would you review the static analyzer portion?
This is rdar://problem/25353187
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 8028 bytes
Desc: not available
More information about the cfe-commits