Closed
Description
CBMC version: Update to 5.91.0
Operating system: Fedora 38
Exact command line resulting in the issue: Execute cpplint
tests using ctest -R cpp-linter-CORE
.
What behaviour did you expect: All cpp-linter-CORE
test pass.
What happened instead:
Some cpp-linter-CORE
tests fail with a variation of the following error:
Failed test.desc lines:
^regression/cpp-linter/override-final/main\.cpp:12: "virtual" is redundant since function is already declared as "override" \[readability/inheritance\] \[4\]$ [FAILED]
Failed test: pointer-type1
/builddir/build/BUILD/cbmc-cbmc-5.91.0/regression/cpp-linter/pointer-type1/../../../scripts/cpplint.py:2052: SyntaxWarning: invalid escape sequence '\w'
is_simple_template_params = Match('^[<>(::),\w\s]*$', inbetween_string)
/builddir/build/BUILD/cbmc-cbmc-5.91.0/regression/cpp-linter/pointer-type1/../../../scripts/cpplint.py:3783: SyntaxWarning: invalid escape sequence '\ '
""" Check each function has a comment header
/builddir/build/BUILD/cbmc-cbmc-5.91.0/regression/cpp-linter/pointer-type1/../../../scripts/cpplint.py:58: DeprecationWarning: module 'sre_compile' is deprecated
import sre_compile
/builddir/build/BUILD/cbmc-cbmc-5.91.0/regression/cpp-linter/pointer-type1/main.cpp:24: Pointer type name must have * attached to the type name [whitespace/operators] [4]
/builddir/build/BUILD/cbmc-cbmc-5.91.0/regression/cpp-linter/pointer-type1/main.cpp:27: Reference type name must have & attached to the type name [whitespace/operators] [4]
# Done processing main.cpp
# Total errors found: 2
EXIT=1
SIGNAL=0
Failed test.desc lines:
^regression/cpp-linter/pointer-type1/main\.cpp:24: Pointer type name must have \* attached to the type name \[whitespace/operators\] \[4\]$ [FAILED]
^regression/cpp-linter/pointer-type1/main\.cpp:27: Reference type name must have & attached to the type name \[whitespace/operators\] \[4\]$ [FAILED]
For some reason cpplint
sometimes outputs an absolute path including the /builddir/build/BUILD/cbmc-cbmc-5.91.0/
prefix which is the reason of the failure as the expected line regex does not match.