[all-commits] [llvm/llvm-project] cd4edf: Recommit "[ConstraintSystem] Add helpers to deal w...

[Florian Hahn via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: cd4edf94cd43754954aff0ddabd704de0f8f7ac0
      https://github.com/llvm/llvm-project/commit/cd4edf94cd43754954aff0ddabd704de0f8f7ac0
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2020-09-15 (Tue, 15 Sep 2020)

  Changed paths:
    A llvm/include/llvm/Analysis/ConstraintSystem.h
    M llvm/lib/Analysis/CMakeLists.txt
    A llvm/lib/Analysis/ConstraintSystem.cpp
    M llvm/unittests/Analysis/CMakeLists.txt
    A llvm/unittests/Analysis/ConstraintSystemTest.cpp
    A llvm/utils/convert-constraint-log-to-z3.py

  Log Message:
  -----------
  Recommit "[ConstraintSystem] Add helpers to deal with linear constraints."

This patch recommits "[ConstraintSystem] Add helpers to deal with linear constraints."
(it reverts the revert commit 8da6ae4ce1b686c5c13698e4c5ee937811fda6f7).

The reason for the revert was using __builtin_multiply_overflow, which
is not available for all compilers. The patch has been updated to use
MulOverflow from MathExtras.h