[PATCH] D46081: [analyzer] Expand conversion check to check more expressions for overflow and underflow

[Paul Fultz II via Phabricator via cfe-commits]

pfultz2 added a comment.

> While I understand extending the analyzer to cover more is a good approach, there is -Wconversion which seemingly covers this -- or at least the trivial case(?):

Yes, but it won't catch something like this, which is more interesting:

  void g(unsigned);
  void f(int x) {
      if (x < 0) return;
      g(x - 1);
  }


Repository:
  rC Clang

https://reviews.llvm.org/D46081