HomePhabricator

[IndVars] Fix a bug noticed by inspection

Description

[IndVars] Fix a bug noticed by inspection

We were computing the loop exit value, but not ensuring the addrec belonged to the loop whose exit value we were computing. I couldn't actually trip this; the test case shows the basic setup which *might* trip this, but none of the variations I've tried actually do.

Details

Committed
reamesThu, Aug 22, 9:03 PM
Parents
rL369729: [analyzer] CastValueChecker: Correctly model results of based-to-derived casts.
Branches
Unknown
Tags
Unknown