From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1499) id E3D373858D1E; Fri, 20 Jan 2023 23:40:09 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org E3D373858D1E DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1674258009; bh=3lNx2y63LnIJxnf9EqNPqYYBTOekWUHNk+SSn9Th8PQ=; h=From:To:Subject:Date:From; b=ueDjF/mdqRcIGXNepa36Wc5elNZaBzH+GoqJyaQMzqrTST90Wo32ENbqvp5dSKlbW rWgWCn2v58Qln8Fw24kwRoRkE9AiAf5NP5LVhpM3mb0ljIvORGAfLHAq2OEHOS3cvL WgVnkApVnk/B5tQivQUAcFUJ6tHpcylFlO5ysQ+8= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Gaius Mulley To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-5272] PR-108136 modula-2 meets cppcheck part 2 X-Act-Checkin: gcc X-Git-Author: Gaius Mulley X-Git-Refname: refs/heads/master X-Git-Oldrev: 0c193cabe1d8f209359f3ccb8e74cf87b38fc4bc X-Git-Newrev: 5c4122be854c135a1f66f2db68ec9cde6d5993dc Message-Id: <20230120234009.E3D373858D1E@sourceware.org> Date: Fri, 20 Jan 2023 23:40:09 +0000 (GMT) List-Id: https://gcc.gnu.org/g:5c4122be854c135a1f66f2db68ec9cde6d5993dc commit r13-5272-g5c4122be854c135a1f66f2db68ec9cde6d5993dc Author: Gaius Mulley Date: Fri Jan 20 23:39:35 2023 +0000 PR-108136 modula-2 meets cppcheck part 2 R-108136 modula-2 meets cppcheck part 2 This patch addresses the style warnings mentioned in the PR. The array high style fixes to mc/keyc.mod and gm2-libs/M2Dependent.mod provoke a rebuild of pge and mc. gcc/m2/ChangeLog: * gm2-libs/Args.mod (GetArg): Check index before accessing array. * gm2-libs/M2Dependent.mod (toCString): Check index before accessing array. * mc-boot/GArgs.c: Rebuilt. * mc-boot/GM2Dependent.c: Rebuilt. * mc-boot/Gkeyc.c: Rebuilt. * mc/keyc.mod (seenUIntMin): Initialize once. (seenUIntMax): Initialize once. (checkLimits): Only test seenUIntMin and seenUIntMax once. * pge-boot/GArgs.c: Rebuilt. * pge-boot/GM2Dependent.c: Rebuilt. Signed-off-by: Gaius Mulley Diff: --- gcc/m2/gm2-libs/Args.mod | 2 +- gcc/m2/gm2-libs/M2Dependent.mod | 2 +- gcc/m2/mc-boot/GArgs.c | 2 +- gcc/m2/mc-boot/GM2Dependent.c | 2 +- gcc/m2/mc-boot/Gkeyc.c | 4 +--- gcc/m2/mc/keyc.mod | 6 ++---- gcc/m2/pge-boot/GArgs.c | 2 +- gcc/m2/pge-boot/GM2Dependent.c | 2 +- 8 files changed, 9 insertions(+), 13 deletions(-) diff --git a/gcc/m2/gm2-libs/Args.mod b/gcc/m2/gm2-libs/Args.mod index 30f76c60fe9..fa14f8cedfb 100644 --- a/gcc/m2/gm2-libs/Args.mod +++ b/gcc/m2/gm2-libs/Args.mod @@ -62,7 +62,7 @@ BEGIN IF i < GetArgC () THEN Source := GetArgV () ; - WHILE (Source^[i]^[j]#nul) AND (j (UnixArgs_GetArgV ()); - while (((*(*Source).array[i]).array[j] != ASCII_nul) && (j < High)) + while ((j < High) && ((*(*Source).array[i]).array[j] != ASCII_nul)) { a[j] = (*(*Source).array[i]).array[j]; j += 1; diff --git a/gcc/m2/mc-boot/GM2Dependent.c b/gcc/m2/mc-boot/GM2Dependent.c index b9c59cc9fac..fb22f1b9145 100644 --- a/gcc/m2/mc-boot/GM2Dependent.c +++ b/gcc/m2/mc-boot/GM2Dependent.c @@ -457,7 +457,7 @@ static void toCString (char *str, unsigned int _str_high) high = _str_high; while (i < high) { - if ((str[i] == '\\') && (i < high)) + if ((i < high) && (str[i] == '\\')) { if (str[i+1] == 'n') { diff --git a/gcc/m2/mc-boot/Gkeyc.c b/gcc/m2/mc-boot/Gkeyc.c index 6f17ca5d3a1..e000bfe60f0 100644 --- a/gcc/m2/mc-boot/Gkeyc.c +++ b/gcc/m2/mc-boot/Gkeyc.c @@ -600,7 +600,7 @@ static void checkAbs (mcPretty_pretty p) static void checkLimits (mcPretty_pretty p) { - if ((((((((((((((seenMemcpy || seenIntMin) || seenUIntMin) || seenLongMin) || seenULongMin) || seenCharMin) || seenUCharMin) || seenUIntMin) || seenIntMax) || seenUIntMax) || seenLongMax) || seenULongMax) || seenCharMax) || seenUCharMax) || seenUIntMax) + if ((((((((((((seenMemcpy || seenIntMin) || seenUIntMin) || seenLongMin) || seenULongMin) || seenCharMin) || seenUCharMin) || seenIntMax) || seenUIntMax) || seenLongMax) || seenULongMax) || seenCharMax) || seenUCharMax) /* OR seenUIntMax */ { checkGccConfigSystem (p); if (! (mcOptions_getGccConfigSystem ())) @@ -1067,14 +1067,12 @@ static void init (void) seenULongMin = FALSE; seenCharMin = FALSE; seenUCharMin = FALSE; - seenUIntMin = FALSE; seenIntMax = FALSE; seenUIntMax = FALSE; seenLongMax = FALSE; seenULongMax = FALSE; seenCharMax = FALSE; seenUCharMax = FALSE; - seenUIntMax = FALSE; seenLabs = FALSE; seenAbs = FALSE; seenFabs = FALSE; diff --git a/gcc/m2/mc/keyc.mod b/gcc/m2/mc/keyc.mod index 5e1016d4d4d..a57103b42a7 100644 --- a/gcc/m2/mc/keyc.mod +++ b/gcc/m2/mc/keyc.mod @@ -457,9 +457,9 @@ PROCEDURE checkLimits (p: pretty) ; BEGIN IF seenMemcpy OR seenIntMin OR seenUIntMin OR seenLongMin OR seenULongMin OR seenCharMin OR - seenUCharMin OR seenUIntMin OR seenIntMax OR + seenUCharMin OR (* seenUIntMin OR *) seenIntMax OR seenUIntMax OR seenLongMax OR seenULongMax OR - seenCharMax OR seenUCharMax OR seenUIntMax + seenCharMax OR seenUCharMax (* OR seenUIntMax *) THEN checkGccConfigSystem (p); IF NOT getGccConfigSystem () @@ -1118,14 +1118,12 @@ BEGIN seenULongMin := FALSE ; seenCharMin := FALSE ; seenUCharMin := FALSE ; - seenUIntMin := FALSE ; seenIntMax := FALSE ; seenUIntMax := FALSE ; seenLongMax := FALSE ; seenULongMax := FALSE ; seenCharMax := FALSE ; seenUCharMax := FALSE ; - seenUIntMax := FALSE ; seenLabs := FALSE ; seenAbs := FALSE ; seenFabs := FALSE ; diff --git a/gcc/m2/pge-boot/GArgs.c b/gcc/m2/pge-boot/GArgs.c index 3c3f95b5882..69fbdd00633 100644 --- a/gcc/m2/pge-boot/GArgs.c +++ b/gcc/m2/pge-boot/GArgs.c @@ -81,7 +81,7 @@ extern "C" unsigned int Args_GetArg (char *a, unsigned int _a_high, unsigned int if (i < (UnixArgs_GetArgC ())) { Source = static_cast (UnixArgs_GetArgV ()); - while (((*(*Source).array[i]).array[j] != ASCII_nul) && (j < High)) + while ((j < High) && ((*(*Source).array[i]).array[j] != ASCII_nul)) { a[j] = (*(*Source).array[i]).array[j]; j += 1; diff --git a/gcc/m2/pge-boot/GM2Dependent.c b/gcc/m2/pge-boot/GM2Dependent.c index 368cf339ad6..32c777c2402 100644 --- a/gcc/m2/pge-boot/GM2Dependent.c +++ b/gcc/m2/pge-boot/GM2Dependent.c @@ -458,7 +458,7 @@ static void toCString (char *str, unsigned int _str_high) high = _str_high; while (i < high) { - if ((str[i] == '\\') && (i < high)) + if ((i < high) && (str[i] == '\\')) { if (str[i+1] == 'n') {