On Jul 29, 2011, at 11:24 AM, Ted Kremenek wrote: > There already is a test case. The bug was revealed when I made changes to the analyzer engine that exposed the problem, which caused one of the test cases to fail. Ok. That patch series is a great illustration of why I don't like git :) -Chris