[LAA] Be more careful when evaluating AddRecs at symbolic max BTC.#128061

fhahn merged 8 commits intollvm:mainllvm/llvm-project:mainfrom

fhahn:laa-symbolic-max-btc-overflowfhahn/llvm-project:laa-symbolic-max-btc-overflowCopy head branch name to clipboard