embedded/FreeRTOS
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS.git synced 2026-07-28 16:53:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

CBMC: Escape Python regex strings (#1420)

Browse Source 
Python warns about invalid escape sequences in the CBMC Makefile generation helpers. Use raw regex strings and escape the Windows path example so the parsed AST stays unchanged while removing the warnings.

Signed-off-by: Old-Ding <ai.neo.ae86@gmail.com>
Co-authored-by: Old-Ding <ai.neo.ae86@gmail.com>
This commit is contained in:
Old-Ding
2026-07-10 06:08:00 +08:00
committed by GitHub
parent de7decac1a
commit c73a397a41
2 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
FreeRTOS/Test/CBMC/proofs/make_common_makefile.py
View File

@@ -30,7 +30,7 @@ import os
import argparse
def cleanup_whitespace(string):
return re.sub('\s+', ' ', string.strip())
return re.sub(r'\s+', ' ', string.strip())
################################################################
# Operating system specific values
@@ -83,9 +83,9 @@ def patch_compile_output(opsys, line, key, value):
if key in ["COMPILE_ONLY", "COMPILE_LINK"] and value is not None:
if value[-1] == '/Fo':
return re.sub('/Fo\s+', '/Fo', line)
return re.sub(r'/Fo\s+', '/Fo', line)
if value[-1] == '/Fe':
return re.sub('/Fe\s+', '/Fe', line)
return re.sub(r'/Fe\s+', '/Fe', line)
return line
################################################################
@@ -181,7 +181,7 @@ def write_makefile(opsys, template, defines, makefile):
with open(template) as _template:
for line in _template:
line = patch_path_separator(opsys, line)
keys = re.findall('@(\w+)@', line)
keys = re.findall(r'@(\w+)@', line)
values = [find_definition(key, defines) for key in keys]
for key, value in zip(keys, values):
if value is not None:

2
FreeRTOS/Test/CBMC/proofs/make_proof_makefiles.py
View File

@@ -121,7 +121,7 @@ def prolog():
On Windows ->
H_INC = /Imy\cool\directory
H_INC = /Imy\\cool\\directory
H_DEF = /DHALF=/2
When invoked, this script walks the directory tree looking for files