Summary: ``` n = v.empty(); if(!n) { v[0] = 1; } ``` used to be translated as ``` n = v.empty(); if(n) { temp = 0; } else { temp = 1; } // join point if(temp) { v[0] = 1; } ``` This diff removes the extra branching for if(not) Reviewed By: jvillard Differential Revision: D6008724 fbshipit-source-id: 40a8a40