David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 1 | #!/usr/bin/env python3 |
| 2 | """Check or fix the code style by running Uncrustify. |
David Horstmann | 8b5a449 | 2023-01-16 18:28:21 +0000 | [diff] [blame] | 3 | |
| 4 | This script must be run from the root of a Git work tree containing Mbed TLS. |
David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 5 | """ |
| 6 | # Copyright The Mbed TLS Contributors |
| 7 | # SPDX-License-Identifier: Apache-2.0 |
| 8 | # |
| 9 | # Licensed under the Apache License, Version 2.0 (the "License"); you may |
| 10 | # not use this file except in compliance with the License. |
| 11 | # You may obtain a copy of the License at |
| 12 | # |
| 13 | # http://www.apache.org/licenses/LICENSE-2.0 |
| 14 | # |
| 15 | # Unless required by applicable law or agreed to in writing, software |
| 16 | # distributed under the License is distributed on an "AS IS" BASIS, WITHOUT |
| 17 | # WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 18 | # See the License for the specific language governing permissions and |
| 19 | # limitations under the License. |
| 20 | import argparse |
David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 21 | import os |
Gilles Peskine | 9a3771e | 2022-12-19 00:48:58 +0100 | [diff] [blame] | 22 | import re |
David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 23 | import subprocess |
| 24 | import sys |
Gilles Peskine | 9a3771e | 2022-12-19 00:48:58 +0100 | [diff] [blame] | 25 | from typing import FrozenSet, List |
David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 26 | |
David Horstmann | 2cf779c | 2022-12-08 14:44:36 +0000 | [diff] [blame] | 27 | UNCRUSTIFY_SUPPORTED_VERSION = "0.75.1" |
David Horstmann | ae93a3f | 2022-12-08 17:03:01 +0000 | [diff] [blame] | 28 | CONFIG_FILE = ".uncrustify.cfg" |
David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 29 | UNCRUSTIFY_EXE = "uncrustify" |
| 30 | UNCRUSTIFY_ARGS = ["-c", CONFIG_FILE] |
Gilles Peskine | 9a3771e | 2022-12-19 00:48:58 +0100 | [diff] [blame] | 31 | CHECK_GENERATED_FILES = "tests/scripts/check-generated-files.sh" |
David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 32 | |
David Horstmann | ca13c4f | 2022-12-08 14:33:52 +0000 | [diff] [blame] | 33 | def print_err(*args): |
David Horstmann | 6b3ce30 | 2023-01-24 18:36:41 +0000 | [diff] [blame] | 34 | print("Error: ", *args, file=sys.stderr) |
David Horstmann | ca13c4f | 2022-12-08 14:33:52 +0000 | [diff] [blame] | 35 | |
Pengyu Lv | acbeb7f | 2023-02-06 14:27:30 +0800 | [diff] [blame] | 36 | # Print the file names that will be skipped and the help message |
| 37 | def print_skip(files_to_skip): |
| 38 | print() |
| 39 | print(*files_to_skip, sep=", SKIP\n", end=", SKIP\n") |
Pengyu Lv | a4e1eec | 2023-02-10 10:55:29 +0800 | [diff] [blame] | 40 | print("Warn: The listed files will be skipped because\n" |
| 41 | "they are not included in the default list.") |
Pengyu Lv | acbeb7f | 2023-02-06 14:27:30 +0800 | [diff] [blame] | 42 | print() |
| 43 | |
Gilles Peskine | 9a3771e | 2022-12-19 00:48:58 +0100 | [diff] [blame] | 44 | # Match FILENAME(s) in "check SCRIPT (FILENAME...)" |
| 45 | CHECK_CALL_RE = re.compile(r"\n\s*check\s+[^\s#$&*?;|]+([^\n#$&*?;|]+)", |
| 46 | re.ASCII) |
| 47 | def list_generated_files() -> FrozenSet[str]: |
| 48 | """Return the names of generated files. |
| 49 | |
| 50 | We don't reformat generated files, since the result might be different |
| 51 | from the output of the generator. Ideally the result of the generator |
| 52 | would conform to the code style, but this would be difficult, especially |
| 53 | with respect to the placement of line breaks in long logical lines. |
| 54 | """ |
| 55 | # Parse check-generated-files.sh to get an up-to-date list of |
| 56 | # generated files. Read the file rather than calling it so that |
| 57 | # this script only depends on Git, Python and uncrustify, and not other |
| 58 | # tools such as sh or grep which might not be available on Windows. |
| 59 | # This introduces a limitation: check-generated-files.sh must have |
| 60 | # the expected format and must list the files explicitly, not through |
| 61 | # wildcards or command substitution. |
| 62 | content = open(CHECK_GENERATED_FILES, encoding="utf-8").read() |
| 63 | checks = re.findall(CHECK_CALL_RE, content) |
| 64 | return frozenset(word for s in checks for word in s.split()) |
| 65 | |
David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 66 | def get_src_files() -> List[str]: |
| 67 | """ |
| 68 | Use git ls-files to get a list of the source files |
| 69 | """ |
David Horstmann | b7dab41 | 2022-12-08 13:12:21 +0000 | [diff] [blame] | 70 | git_ls_files_cmd = ["git", "ls-files", |
David Horstmann | c6b604e | 2022-12-08 17:38:27 +0000 | [diff] [blame] | 71 | "*.[hc]", |
| 72 | "tests/suites/*.function", |
| 73 | "scripts/data_files/*.fmt"] |
David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 74 | |
David Horstmann | 6b3ce30 | 2023-01-24 18:36:41 +0000 | [diff] [blame] | 75 | result = subprocess.run(git_ls_files_cmd, stdout=subprocess.PIPE, |
| 76 | check=False) |
David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 77 | |
| 78 | if result.returncode != 0: |
David Horstmann | 0ebc12e | 2022-12-08 15:04:20 +0000 | [diff] [blame] | 79 | print_err("git ls-files returned: " + str(result.returncode)) |
David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 80 | return [] |
| 81 | else: |
Gilles Peskine | 9a3771e | 2022-12-19 00:48:58 +0100 | [diff] [blame] | 82 | generated_files = list_generated_files() |
David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 83 | src_files = str(result.stdout, "utf-8").split() |
Gilles Peskine | 9a3771e | 2022-12-19 00:48:58 +0100 | [diff] [blame] | 84 | # Don't correct style for third-party files (and, for simplicity, |
| 85 | # companion files in the same subtree), or for automatically |
| 86 | # generated files (we're correcting the templates instead). |
| 87 | src_files = [filename for filename in src_files |
| 88 | if not (filename.startswith("3rdparty/") or |
| 89 | filename in generated_files)] |
David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 90 | return src_files |
| 91 | |
| 92 | def get_uncrustify_version() -> str: |
| 93 | """ |
| 94 | Get the version string from Uncrustify |
| 95 | """ |
David Horstmann | 04bdbe3 | 2023-01-25 11:39:04 +0000 | [diff] [blame] | 96 | result = subprocess.run([UNCRUSTIFY_EXE, "--version"], |
| 97 | stdout=subprocess.PIPE, stderr=subprocess.PIPE, |
| 98 | check=False) |
David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 99 | if result.returncode != 0: |
David Horstmann | ca13c4f | 2022-12-08 14:33:52 +0000 | [diff] [blame] | 100 | print_err("Could not get Uncrustify version:", str(result.stderr, "utf-8")) |
David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 101 | return "" |
| 102 | else: |
| 103 | return str(result.stdout, "utf-8") |
| 104 | |
| 105 | def check_style_is_correct(src_file_list: List[str]) -> bool: |
| 106 | """ |
David Horstmann | 9711f4e | 2022-12-08 14:36:10 +0000 | [diff] [blame] | 107 | Check the code style and output a diff for each file whose style is |
David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 108 | incorrect. |
| 109 | """ |
| 110 | style_correct = True |
| 111 | for src_file in src_file_list: |
| 112 | uncrustify_cmd = [UNCRUSTIFY_EXE] + UNCRUSTIFY_ARGS + [src_file] |
David Horstmann | 04bdbe3 | 2023-01-25 11:39:04 +0000 | [diff] [blame] | 113 | result = subprocess.run(uncrustify_cmd, stdout=subprocess.PIPE, |
| 114 | stderr=subprocess.PIPE, check=False) |
David Horstmann | c571c5b | 2023-01-04 18:33:25 +0000 | [diff] [blame] | 115 | if result.returncode != 0: |
David Horstmann | 04bdbe3 | 2023-01-25 11:39:04 +0000 | [diff] [blame] | 116 | print_err("Uncrustify returned " + str(result.returncode) + |
| 117 | " correcting file " + src_file) |
David Horstmann | c571c5b | 2023-01-04 18:33:25 +0000 | [diff] [blame] | 118 | return False |
David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 119 | |
| 120 | # Uncrustify makes changes to the code and places the result in a new |
| 121 | # file with the extension ".uncrustify". To get the changes (if any) |
| 122 | # simply diff the 2 files. |
David Horstmann | 0ebc12e | 2022-12-08 15:04:20 +0000 | [diff] [blame] | 123 | diff_cmd = ["diff", "-u", src_file, src_file + ".uncrustify"] |
David Horstmann | ce42cc2 | 2023-01-24 18:08:49 +0000 | [diff] [blame] | 124 | cp = subprocess.run(diff_cmd, check=False) |
| 125 | |
| 126 | if cp.returncode == 1: |
David Horstmann | 6b3ce30 | 2023-01-24 18:36:41 +0000 | [diff] [blame] | 127 | print(src_file + " changed - code style is incorrect.") |
David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 128 | style_correct = False |
David Horstmann | ce42cc2 | 2023-01-24 18:08:49 +0000 | [diff] [blame] | 129 | elif cp.returncode != 0: |
| 130 | raise subprocess.CalledProcessError(cp.returncode, cp.args, |
| 131 | cp.stdout, cp.stderr) |
David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 132 | |
| 133 | # Tidy up artifact |
David Horstmann | 0ebc12e | 2022-12-08 15:04:20 +0000 | [diff] [blame] | 134 | os.remove(src_file + ".uncrustify") |
David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 135 | |
| 136 | return style_correct |
| 137 | |
David Horstmann | 8d1d6ed | 2023-01-05 09:59:35 +0000 | [diff] [blame] | 138 | def fix_style_single_pass(src_file_list: List[str]) -> bool: |
David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 139 | """ |
| 140 | Run Uncrustify once over the source files. |
| 141 | """ |
| 142 | code_change_args = UNCRUSTIFY_ARGS + ["--no-backup"] |
| 143 | for src_file in src_file_list: |
| 144 | uncrustify_cmd = [UNCRUSTIFY_EXE] + code_change_args + [src_file] |
David Horstmann | 6b3ce30 | 2023-01-24 18:36:41 +0000 | [diff] [blame] | 145 | result = subprocess.run(uncrustify_cmd, check=False) |
David Horstmann | c571c5b | 2023-01-04 18:33:25 +0000 | [diff] [blame] | 146 | if result.returncode != 0: |
David Horstmann | 04bdbe3 | 2023-01-25 11:39:04 +0000 | [diff] [blame] | 147 | print_err("Uncrustify with file returned: " + |
| 148 | str(result.returncode) + " correcting file " + |
| 149 | src_file) |
David Horstmann | c571c5b | 2023-01-04 18:33:25 +0000 | [diff] [blame] | 150 | return False |
David Horstmann | 8d1d6ed | 2023-01-05 09:59:35 +0000 | [diff] [blame] | 151 | return True |
David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 152 | |
| 153 | def fix_style(src_file_list: List[str]) -> int: |
| 154 | """ |
| 155 | Fix the code style. This takes 2 passes of Uncrustify. |
| 156 | """ |
David Horstmann | 78d566b | 2023-01-05 10:02:09 +0000 | [diff] [blame] | 157 | if not fix_style_single_pass(src_file_list): |
David Horstmann | c571c5b | 2023-01-04 18:33:25 +0000 | [diff] [blame] | 158 | return 1 |
David Horstmann | 78d566b | 2023-01-05 10:02:09 +0000 | [diff] [blame] | 159 | if not fix_style_single_pass(src_file_list): |
David Horstmann | c571c5b | 2023-01-04 18:33:25 +0000 | [diff] [blame] | 160 | return 1 |
David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 161 | |
| 162 | # Guard against future changes that cause the codebase to require |
| 163 | # more passes. |
| 164 | if not check_style_is_correct(src_file_list): |
David Horstmann | 28d2157 | 2023-01-16 18:32:56 +0000 | [diff] [blame] | 165 | print_err("Code style still incorrect after second run of Uncrustify.") |
David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 166 | return 1 |
| 167 | else: |
| 168 | return 0 |
| 169 | |
| 170 | def main() -> int: |
| 171 | """ |
| 172 | Main with command line arguments. |
| 173 | """ |
David Horstmann | 2cf779c | 2022-12-08 14:44:36 +0000 | [diff] [blame] | 174 | uncrustify_version = get_uncrustify_version().strip() |
| 175 | if UNCRUSTIFY_SUPPORTED_VERSION not in uncrustify_version: |
Gilles Peskine | 9d34cf3 | 2022-12-23 18:15:19 +0100 | [diff] [blame] | 176 | print("Warning: Using unsupported Uncrustify version '" + |
David Horstmann | 6b3ce30 | 2023-01-24 18:36:41 +0000 | [diff] [blame] | 177 | uncrustify_version + "'") |
Gilles Peskine | 9d34cf3 | 2022-12-23 18:15:19 +0100 | [diff] [blame] | 178 | print("Note: The only supported version is " + |
David Horstmann | 6b3ce30 | 2023-01-24 18:36:41 +0000 | [diff] [blame] | 179 | UNCRUSTIFY_SUPPORTED_VERSION) |
David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 180 | |
| 181 | parser = argparse.ArgumentParser() |
Gilles Peskine | 59803db | 2022-12-22 16:34:01 +0100 | [diff] [blame] | 182 | parser.add_argument('-f', '--fix', action='store_true', |
Gilles Peskine | 9d34cf3 | 2022-12-23 18:15:19 +0100 | [diff] [blame] | 183 | help=('modify source files to fix the code style ' |
| 184 | '(default: print diff, do not modify files)')) |
Pengyu Lv | 8c6325c | 2023-02-06 14:29:02 +0800 | [diff] [blame] | 185 | parser.add_argument('--subset', action='store_true', |
| 186 | help=('check a subset of the files known to git ' |
Pengyu Lv | b10cf0d | 2023-02-10 11:06:36 +0800 | [diff] [blame^] | 187 | '(default: check all files passed as arguments, ' |
| 188 | 'known to git or not)')) |
Gilles Peskine | 59803db | 2022-12-22 16:34:01 +0100 | [diff] [blame] | 189 | parser.add_argument('operands', nargs='*', metavar='FILE', |
Pengyu Lv | b10cf0d | 2023-02-10 11:06:36 +0800 | [diff] [blame^] | 190 | help='files to check (if none: check files that are known to git)') |
David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 191 | |
| 192 | args = parser.parse_args() |
| 193 | |
Pengyu Lv | 8c6325c | 2023-02-06 14:29:02 +0800 | [diff] [blame] | 194 | all_src_files = get_src_files() |
| 195 | src_files = args.operands if args.operands else all_src_files |
| 196 | if args.subset: |
| 197 | # We are to check a subset of the default list |
| 198 | src_files = [f for f in args.operands if f in all_src_files] |
Pengyu Lv | acbeb7f | 2023-02-06 14:27:30 +0800 | [diff] [blame] | 199 | skip_src_files = [f for f in args.operands if f not in src_files] |
| 200 | if skip_src_files: |
| 201 | print_skip(skip_src_files) |
Gilles Peskine | 59803db | 2022-12-22 16:34:01 +0100 | [diff] [blame] | 202 | |
David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 203 | if args.fix: |
| 204 | # Fix mode |
| 205 | return fix_style(src_files) |
| 206 | else: |
| 207 | # Check mode |
| 208 | if check_style_is_correct(src_files): |
David Horstmann | 6b3ce30 | 2023-01-24 18:36:41 +0000 | [diff] [blame] | 209 | print("Checked {} files, style ok.".format(len(src_files))) |
David Horstmann | fa928f1 | 2022-11-01 15:46:16 +0000 | [diff] [blame] | 210 | return 0 |
| 211 | else: |
| 212 | return 1 |
| 213 | |
| 214 | if __name__ == '__main__': |
| 215 | sys.exit(main()) |