[all-commits] [llvm/llvm-project] 12e7e8: [mlir][Interfaces][NFC] `ValueBoundsConstraintSet`...

[Matthias Springer via All-commits]

  Branch: refs/heads/users/matthias-springer/value_bounds_dead_code
  Home:   https://github.com/llvm/llvm-project
  Commit: 12e7e8880621483918e7a3e2a99bf3eec13eb899
      https://github.com/llvm/llvm-project/commit/12e7e8880621483918e7a3e2a99bf3eec13eb899
  Author: Matthias Springer <springerm at google.com>
  Date:   2024-03-21 (Thu, 21 Mar 2024)

  Changed paths:
    M mlir/lib/Interfaces/ValueBoundsOpInterface.cpp

  Log Message:
  -----------
  [mlir][Interfaces][NFC] `ValueBoundsConstraintSet`: Delete dead code

There is an assertion that the stop condition is not satisfied for the the starting point at the beginning of `computeBound`. Therefore, that case does not have to be handled later on in that function.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications