Module Name: src
Committed By: rillig
Date: Sat Feb 20 09:40:43 UTC 2021
Modified Files:
src/tests/usr.bin/xlint/lint1: msg_338.c
Log Message:
lint: reproduce the crash from ckgetopt.c 1.2
The intention of the getopt check was to analyze only those while loops
whose condition consists of the usual getopt call. For all other while
loops, ck.while_level was intended to stay at 0.
This was not the case in ckgetopt.c 1.2 and has been fixed in ckgetopt.c
1.3. The code did not document the intended invariants though, which it
should have done. This will be done in a follow-up commit.
To generate a diff of this commit:
cvs rdiff -u -r1.1 -r1.2 src/tests/usr.bin/xlint/lint1/msg_338.c
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
