Jordan Rose cfb4eb293f [analyzer] When a symbol is null, we should track its constraints. ...

Because of this, we would previously emit NO path notes when a parameter
is constrained to null (because there are no stores). Now we show where we
made the assumption, which is much more useful.

llvm-svn: 161280

2012-08-03 23:09:01 +00:00

1.8 KiB

Raw Blame History

View Raw