Some words about template checks

The PVS-Studio analyzer sometimes generates mysterious messages mentioning a template class. For example: V614 Instantiate ReconstructMB<PlaneY, PlaneUV, color_format, false, 1>: Uninitialized variable 'iRefFieldTop' used. On encountering such a message and reviewing the template class code you may feel sad. It all looks complicated and incomprehensible. But it's not that horrible. Let's try to parse one sample.

Long and obscure, do you agree? You don't want to review this code, but the analyzer urges you to pay attention to it. I took such a long sample intentionally: I want to show you that programmers shouldn't be lazy. You have to understand what exactly the analyzer doesn't like in this code.

It's strange that one argument of the 'Ipp32s' type is defined as being equal to '0', while the other as being equal to 'false'. A very strange programming style indeed!

Most likely, the template parameters were being added or changed during the refactoring process. In this particular fragment the developer forgot to fix the declaration of the 'mb' variable. The code compiled well and nobody noticed the bug.

Well, it's not really important how this code has appeared. What is important, there is uninitialized memory usage in the program, and the PVS-Studio analyzer has found it. It also points out in the message that the error will occur when the class is instanced in the following way: ReconstructMB<PlaneY, PlaneUV, color_format, false, 1>.

I hope I've managed to clarify what such analyzer-generated messages mean and what information they contain.

Make your code safer by using the PVS-Studio analyzer!

Use PVS-Studio to search for bugs in C, C++, C# and Java

We offer you to check your project code with PVS-Studio. Just one bug found in the project will show you the benefits of the static code analysis methodology better than a dozen of the articles.