From b6b4b7213c105b6d1f59bc9653b994c88575d2cf Mon Sep 17 00:00:00 2001 From: Alejandro Colomar Date: Mon, 15 Nov 2021 17:08:25 +0100 Subject: nonnull.7: ffix Signed-off-by: Alejandro Colomar --- nonnull.7 | 1 + 1 file changed, 1 insertion(+) diff --git a/nonnull.7 b/nonnull.7 index c133692..1390b2d 100644 --- a/nonnull.7 +++ b/nonnull.7 @@ -198,6 +198,7 @@ char *nonnull strcpy(char *restrict dest, return dest; } .EE +.PP This causes undefined behavior, since it assigns a .RB non- \%nonnull -qualified -- cgit v1.2.3