Module Name: src
Committed By: rillig
Date: Sat Apr 27 12:46:37 UTC 2024
Modified Files:
src/tests/usr.bin/xlint/lint1: queries.c
src/usr.bin/xlint/lint1: tree.c
Log Message:
lint: converting a null pointer to another pointer type is not narrowing
To generate a diff of this commit:
cvs rdiff -u -r1.28 -r1.29 src/tests/usr.bin/xlint/lint1/queries.c
cvs rdiff -u -r1.636 -r1.637 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.
Modified files:
Index: src/tests/usr.bin/xlint/lint1/queries.c
diff -u src/tests/usr.bin/xlint/lint1/queries.c:1.28 src/tests/usr.bin/xlint/lint1/queries.c:1.29
--- src/tests/usr.bin/xlint/lint1/queries.c:1.28 Sat Apr 27 10:08:54 2024
+++ src/tests/usr.bin/xlint/lint1/queries.c Sat Apr 27 12:46:37 2024
@@ -1,4 +1,4 @@
-/* $NetBSD: queries.c,v 1.28 2024/04/27 10:08:54 rillig Exp $ */
+/* $NetBSD: queries.c,v 1.29 2024/04/27 12:46:37 rillig Exp $ */
# 3 "queries.c"
/*
@@ -532,4 +532,6 @@ Q20_void_pointer_conversion(void)
int_ptr = char_ptr;
/* expect+1: warning: illegal combination of 'pointer to char' and 'pointer to int', op '=' [124] */
char_ptr = int_ptr;
+
+ int_ptr = (void *)0;
}
Index: src/usr.bin/xlint/lint1/tree.c
diff -u src/usr.bin/xlint/lint1/tree.c:1.636 src/usr.bin/xlint/lint1/tree.c:1.637
--- src/usr.bin/xlint/lint1/tree.c:1.636 Sat Apr 27 10:08:54 2024
+++ src/usr.bin/xlint/lint1/tree.c Sat Apr 27 12:46:37 2024
@@ -1,4 +1,4 @@
-/* $NetBSD: tree.c,v 1.636 2024/04/27 10:08:54 rillig Exp $ */
+/* $NetBSD: tree.c,v 1.637 2024/04/27 12:46:37 rillig Exp $ */
/*
* Copyright (c) 1994, 1995 Jochen Pohl
@@ -37,7 +37,7 @@
#include <sys/cdefs.h>
#if defined(__RCSID)
-__RCSID("$NetBSD: tree.c,v 1.636 2024/04/27 10:08:54 rillig Exp $");
+__RCSID("$NetBSD: tree.c,v 1.637 2024/04/27 12:46:37 rillig Exp $");
#endif
#include <float.h>
@@ -1434,7 +1434,8 @@ build_assignment(op_t op, bool sys, tnod
if (is_query_enabled[20]
&& lt == PTR && ln->tn_type->t_subt->t_tspec != VOID
- && rt == PTR && rn->tn_type->t_subt->t_tspec == VOID)
+ && rt == PTR && rn->tn_type->t_subt->t_tspec == VOID
+ && !is_null_pointer(rn))
/* implicit narrowing conversion from void ... */
query_message(20, type_name(ln->tn_type));
