[cfe-commits] [patch] Tracking simple arithmetic constraints (PR2695) (resubmitted)

[Ted Kremenek]

On Jun 5, 2010, at 11:43 PM, Ted Kremenek wrote:

> I am also not certain what "can't reverse the expression" means; it probably would be clearer with a meta-level comment above the loop that explained the algorithm.

Correction; I understand what it means now, but it certainly would be clearer with a meta-level comment explaining the algorithm.