llvm-project

5ae5f9df - [DA] Check nsw flags for addrecs in the Exact SIV test (#186387)

[DA] Check nsw flags for addrecs in the Exact SIV test (#186387) This patch adds a check to ensure that the addrecs have nsw flags at the beginning of the Exact SIV test. If either of them doesn't have, the analysis bails out. This check is necessary because the subsequent process in the Exact SIV test assumes that they don't wrap.