[PATCH] D39691: [analyzer] Model correct dispatch_once() 'done' value in BodyFarm

George Karpenkov via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Nov 6 11:27:46 PST 2017

george.karpenkov accepted this revision.
george.karpenkov added a comment.
This revision is now accepted and ready to land.

Looks good to me.
I really don't think the test format chosen in `unix-fns.c` is a good idea, as it is very large, auto-generated, and tightly coupled to chosen formatting. I think combination of checking for warning with `clang_analyzer_eval` will be much better, but then maybe it's not a job for this patch.


More information about the cfe-commits mailing list