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

[George Karpenkov via Phabricator via cfe-commits]

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.


https://reviews.llvm.org/D39691