donate-cpu-server.py: another function compression improvement for stack trace overview in crash report (#3520)

This commit is contained in:
Oliver Stöneberg 2021-10-24 11:01:48 +02:00 committed by GitHub
parent 48fc70b810
commit 90ba25a6bc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -25,7 +25,7 @@ import html as html_lib
# Version scheme (MAJOR.MINOR.PATCH) should orientate on "Semantic Versioning" https://semver.org/ # Version scheme (MAJOR.MINOR.PATCH) should orientate on "Semantic Versioning" https://semver.org/
# Every change in this script should result in increasing the version number accordingly (exceptions may be cosmetic # Every change in this script should result in increasing the version number accordingly (exceptions may be cosmetic
# changes) # changes)
SERVER_VERSION = "1.3.20" SERVER_VERSION = "1.3.21"
OLD_VERSION = '2.6' OLD_VERSION = '2.6'
@ -207,7 +207,7 @@ def crashReport(results_path: str) -> str:
stack_trace.append(m.group('number') + ' ' + m.group('function') + '(...) from ' + m.group('binary')) stack_trace.append(m.group('number') + ' ' + m.group('function') + '(...) from ' + m.group('binary'))
continue continue
# #11 0x00000000006f2414 in valueFlowNumber (tokenlist=tokenlist@entry=0x7fffffffc610) at build/valueflow.cpp:2503 # #11 0x00000000006f2414 in valueFlowNumber (tokenlist=tokenlist@entry=0x7fffffffc610) at build/valueflow.cpp:2503
m = re.search(r'(?P<number>#\d+) .* in (?P<function>.+) \(.*\) at (?P<location>.*)$', l) m = re.search(r'(?P<number>#\d+) .* in (?P<function>.+?) \(.*\) at (?P<location>.*)$', l)
if m: if m:
#print('1 - {} - {} - {}'.format(m.group('number'), m.group('function'), m.group('location'))) #print('1 - {} - {} - {}'.format(m.group('number'), m.group('function'), m.group('location')))
stack_trace.append(m.group('number') + ' ' + m.group('function') + '(...) at ' + m.group('location')) stack_trace.append(m.group('number') + ' ' + m.group('function') + '(...) at ' + m.group('location'))