[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