Source-Changes archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

CVS commit: src/usr.bin/xlint/lint1



Module Name:    src
Committed By:   rillig
Date:           Tue Mar 11 22:12:35 UTC 2025

Modified Files:
        src/usr.bin/xlint/lint1: tree.c

Log Message:
lint: fix saturated multiplication in integer constraints check

After the change from ui_max_value to si_max_value in tree.c 1.675 from
2025-02-27, it was wrong to divide the maximum value by 2 once more.


To generate a diff of this commit:
cvs rdiff -u -r1.675 -r1.676 src/usr.bin/xlint/lint1/tree.c

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.




Home | Main Index | Thread Index | Old Index