NoQ added inline comments.
================
Comment at: lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:192
+ if (from.isMinSignedValue()) {
+ F.add(newRanges, Range(BV.getMinValue(from), BV.getMinValue(from)));
+ }
----------------
NoQ wrote:
> Return value of `add` seems to be accidentally discarded here.
>
> I guess i'll look into adding an `__attribute__((warn_unused_result))` to
> these functions, because it's a super common bug.
Also tests would have saved us.
https://reviews.llvm.org/D35110
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
