1. e47b89d [Analyzer] More accurate modeling about the increment operator of the operand with type bool. by Henry Wong ยท 8 years ago