[cfe-commits] r106616 - /cfe/trunk/lib/Checker/OSAtomicChecker.cpp
Zhongxing Xu
xuzhongxing at gmail.com
Tue Jun 22 19:06:56 PDT 2010
Author: zhongxingxu
Date: Tue Jun 22 21:06:56 2010
New Revision: 106616
URL: http://llvm.org/viewvc/llvm-project?rev=106616&view=rev
Log:
add comments.
Modified:
cfe/trunk/lib/Checker/OSAtomicChecker.cpp
Modified: cfe/trunk/lib/Checker/OSAtomicChecker.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Checker/OSAtomicChecker.cpp?rev=106616&r1=106615&r2=106616&view=diff
==============================================================================
--- cfe/trunk/lib/Checker/OSAtomicChecker.cpp (original)
+++ cfe/trunk/lib/Checker/OSAtomicChecker.cpp Tue Jun 22 21:06:56 2010
@@ -100,7 +100,9 @@
const GRState *state = C.getState();
ExplodedNodeSet Tmp;
SVal location = state->getSVal(theValueExpr);
- // Here we should use the value type of the region as the load type.
+ // Here we should use the value type of the region as the load type, because
+ // we are simulating the semantics of the function, not the semantics of
+ // passing argument.
QualType LoadTy;
if (const TypedRegion *TR =
dyn_cast_or_null<TypedRegion>(location.getAsRegion())) {
More information about the cfe-commits
mailing list