[PATCH] D30295: [analyzer] clarify undef shift result when shift count is negative or exceeds the bit width

[Anna Zaks via Phabricator via cfe-commits]

zaks.anna accepted this revision.
zaks.anna added a comment.

Once the comments by @paquette are addressed, LGTM. Thanks!



================
Comment at: lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp:138
+
+        OS << " larger or equal to the width of type '"
+           << B->getLHS()->getType().getAsString() << "'.";
----------------
paquette wrote:
> Maybe "greater than or equal to" instead of "larger or equal to" just for convention? I hear/read that more often, so seeing "larger" is a little weird.
> 
> Minor point though, so if it makes the message too long it doesn't matter.
I agree that "greater than or equal to" is better, so let's change to that.


Repository:
  rL LLVM

https://reviews.llvm.org/D30295