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

Devin Coughlin via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Nov 6 13:42:08 PST 2017

Previous message: [PATCH] D39691: [analyzer] Model correct dispatch_once() 'done' value in BodyFarm
Next message: [PATCH] D39691: [analyzer] Model correct dispatch_once() 'done' value in BodyFarm
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

dcoughlin added a comment.

Yeah, I'm not a fan of this style of testing for path diagnostics, either.


https://reviews.llvm.org/D39691

Previous message: [PATCH] D39691: [analyzer] Model correct dispatch_once() 'done' value in BodyFarm
Next message: [PATCH] D39691: [analyzer] Model correct dispatch_once() 'done' value in BodyFarm
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cfe-commits mailing list