C++ vera++

[elephant]

I am playing with vera++.

Vera++ is a programmable tool for verification, analysis and transformation of C++ source code. Vera++ is mainly an engine that parses C++ source files and presents the result of this parsing to scripts in the form of various collections - the scripts are actually performing the requested tasks.

Here's one surprise.

Input source:

#define _USE_MATH_DEFINES 1
#include <math.h>

Output:

main.cpp:10: reserved name used for macro (incorrect use of underscore)

Other output looks reasonable:

main.cpp:24: line is longer than 100 characters
main.cpp:42: trailing whitespace
main.cpp:42: full block {} expected in the control structure
main.cpp:47: line is longer than 100 characters
main.cpp:74: trailing whitespace
main.cpp:98: trailing whitespace
main.cpp:112: line is longer than 100 characters
main.cpp:128: line is longer than 100 characters
main.cpp:133: trailing whitespace
main.cpp:139: line is longer than 100 characters
main.cpp:140: line is longer than 100 characters
main.cpp:141: line is longer than 100 characters
main.cpp:142: line is longer than 100 characters
main.cpp:156: line is longer than 100 characters
main.cpp:166: trailing whitespace
main.cpp:178: full block {} expected in the control structure
main.cpp:190: trailing whitespace
main.cpp:207: full block {} expected in the control structure
main.cpp:210: trailing whitespace
main.cpp:270: full block {} expected in the control structure
main.cpp:275: full block {} expected in the control structure
main.cpp:294: full block {} expected in the control structure
main.cpp:308: full block {} expected in the control structure
microphone.cpp:13: line is longer than 100 characters
microphone.cpp:20: full block {} expected in the control structure
microphone.cpp:24: full block {} expected in the control structure
microphone.cpp:54: full block {} expected in the control structure
microphone.cpp:80: full block {} expected in the control structure

 

[elephant]

Here's one surprise.

Turns out this was reported over a decade ago - with a work-around.

Bitbucket

bitbucket.org