[PATCH] D15007: [analyzer] Improve modelling of nullptr_t in the analyzer. Fix PR25414.

Artem Dergachev via cfe-commits cfe-commits at lists.llvm.org
Thu Nov 26 02:17:28 PST 2015

NoQ added a subscriber: NoQ.
NoQ added a comment.

Wow, useful stuff!

There's a little problem with the `shouldNotCrash()` test: the first warning on `invokeF()` on line 107 generates a sink, and the rest of the function never gets executed. It's probably a good idea to split it into three separate tests. Then it'd also warn on line 110.


More information about the cfe-commits mailing list