[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