zaks.anna added a comment.
> This patch also fixes a bug in 'RangeSet::pin' causing single value ranges to
> not be considered conventionally ordered.
Can that fix be submitted as a separate patch? Is there a test for it?
================
Comment at: lib/StaticAnalyzer/Core/ExprEngineC.cpp:351
@@ -351,1 +350,3 @@
}
+ case CK_IntegralCast: {
+ // Delegate to SValBuilder to process.
----------------
SValBuilder::evalCast and SimpleSValBuilder::evalCastFromNonLoc perform a lot
of special casing. I am not sure we are not loosing anything if we bypass them.
For example, there is special handling of Booleans. We might want to add this
smarter handling of the integral conversions inside
SimpleSValBuilder::evalCastFromNonLoc, where you see the comment starting with
"If the types are the same or both are integers, ignore the cast."
http://reviews.llvm.org/D12901
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
