{"head":"395b4f52cfcd40ef3b1c837aa220d8b7c6467624","size":1,"push_id":44852963,"shas":[["395b4f52cfcd40ef3b1c837aa220d8b7c6467624","7e82b212cc10a60d2635a5530445e58b5e6c8930@apple.com","[analyzer] In UndefBranchChecker, use a node generator which does not create an edge/branching. (ExprEngine should be in charge of generating edges. The checkers should examine the condition and generate PostCondition node if needed.)","Anna Zaks"]],"ref":"refs/heads/master"}