[all-commits] [llvm/llvm-project] cff6dd: More accurately compute the ranges of possible val...

[Richard Smith via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: cff6dda604cb0548bef5e5951dd1e74536110588
      https://github.com/llvm/llvm-project/commit/cff6dda604cb0548bef5e5951dd1e74536110588
  Author: Richard Smith <richard at metafoo.co.uk>
  Date:   2020-08-31 (Mon, 31 Aug 2020)

  Changed paths:
    M clang/lib/Sema/SemaChecking.cpp
    M clang/test/Sema/tautological-constant-compare.c

  Log Message:
  -----------
  More accurately compute the ranges of possible values for +, -, *, &, %.

Continue to heuristically pick the wider of the two operands for
narrowing conversion warnings so that some_char + 1 isn't treated as
being wider than a char, but use the more accurate computation for
tautological comparison warnings.

Differential Revision: https://reviews.llvm.org/D85778


  Commit: f819dbf012b3f624a836641f90dabff5f667b82e
      https://github.com/llvm/llvm-project/commit/f819dbf012b3f624a836641f90dabff5f667b82e
  Author: Richard Smith <richard at metafoo.co.uk>
  Date:   2020-08-31 (Mon, 31 Aug 2020)

  Changed paths:
    M clang/lib/Sema/SemaChecking.cpp
    M clang/test/Sema/compare.c

  Log Message:
  -----------
  Classify (small unsigned bitfield) < 0 comparisons under
-Wtautological-unsigned-zero-compare not under
-Wtautological-value-range-compare.


Compare: https://github.com/llvm/llvm-project/compare/e7f53044e726...f819dbf012b3