Aren
/
NetBSD
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

tests/lint: add test for reachability of nested 'if' statements

This commit is contained in:
rillig 2021-03-21 19:18:37 +00:00
parent ac846d67c2
commit cd0f66fe16
2 changed files with 40 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
tests/usr.bin/xlint/lint1/msg_193.c
View File

@ -1,4 +1,4 @@
/* $NetBSD: msg_193.c,v 1.8 2021/03/21 19:14:40 rillig Exp $ */
/* $NetBSD: msg_193.c,v 1.9 2021/03/21 19:18:37 rillig Exp $ */
# 3 "msg_193.c"
// Test for message: statement not reached [193]
@ -490,6 +490,40 @@ test_do_while_if_return(void)
unreachable(); /* expect: 193 */
}
void
test_if_nested(void)
{
if (0) {
if (1) /* expect: 193 */
unreachable();
else
unreachable(); /* expect: 193 *//* XXX: redundant */
if (0)
unreachable(); /* expect: 193 *//* XXX: redundant */
else
unreachable();
unreachable();
}
reachable();
if (1) {
if (1)
reachable();
else
unreachable(); /* expect: 193 */
if (0)
unreachable(); /* expect: 193 */
else
reachable();
reachable();
}
reachable();
}
/* TODO: switch */
/* TODO: goto */

5
tests/usr.bin/xlint/lint1/msg_193.exp
View File

@ -75,3 +75,8 @@ msg_193.c(481): warning: statement not reached [193]
msg_193.c(486): warning: statement not reached [193]
msg_193.c(488): warning: statement not reached [193]
msg_193.c(490): warning: statement not reached [193]
msg_193.c(497): warning: statement not reached [193]
msg_193.c(500): warning: statement not reached [193]
msg_193.c(503): warning: statement not reached [193]
msg_193.c(515): warning: statement not reached [193]
msg_193.c(518): warning: statement not reached [193]