optimization Categories Documents constant-condition constant-folding constant-result double-negation identity-operation redundant-comparison redundant-unary