Clean GCC conditional expressions in right-hand sides of declarations#2665
Merged
kroening merged 1 commit intodiffblue:developfrom Aug 3, 2018
Merged
Clean GCC conditional expressions in right-hand sides of declarations#2665kroening merged 1 commit intodiffblue:developfrom
kroening merged 1 commit intodiffblue:developfrom
