--- - branch: MAIN date: Sat Jul 8 12:07:21 UTC 2023 files: - new: '1.47' old: '1.46' path: src/usr.bin/xlint/lint1/debug.c pathrev: src/usr.bin/xlint/lint1/debug.c@1.47 type: modified - new: '1.551' old: '1.550' path: src/usr.bin/xlint/lint1/tree.c pathrev: src/usr.bin/xlint/lint1/tree.c@1.551 type: modified id: 20230708T120721Z.079aeeba9230b07ad3b9e7cfaa9f84b0b49057ab log: | lint: clean up PUSH nodes are not marked as binary, yet they have a left and a right operand. If none of the queries is enabled, omit the query from the debug log. module: src subject: 'CVS commit: src/usr.bin/xlint/lint1' unixtime: '1688818041' user: rillig