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

fhahn wants to merge 2 commits intollvm:mainllvm/llvm-project:mainfrom

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