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

[Aleksei Sidorin via Phabricator via cfe-commits]

a.sidorin added inline comments.


================
Comment at: lib/StaticAnalyzer/Core/CheckerHelpers.cpp:99
+bool clang::ento::isExprResultConformsComparisonRule(CheckerContext &C,
+                                                     BinaryOperatorKind BOK,
+                                                     const Expr *LExpr,
----------------
a.sidorin wrote:
> CompRule?
Oops. I meant renaming of the BOK argument, not the method :) Sorry for misleading.


Repository:
  rL LLVM

https://reviews.llvm.org/D30295