Static analyzer reports __va_parmadr (va_start) is declared implicitly

Ashish Kapania

Hi,

We are running coverity static analyzer on our code and getting the following defect:

Error: PW.IMPLICIT_FUNC_DECL:
/db/vtree/library/trees/avala/avala-B02/src/ti/sysbios/posix/mqueue.c:126:
implicit_func_decl: function "__va_parmadr" declared implicitly
/db/vtree/library/trees/avala/avala-B02/src/ti/sysbios/posix/mqueue.c:126:
caretline:     ^

The call to va_start() is generating this even though we are including "stdarg.h". I cannot find an extern or definition for __va_parmadr in "stdarg.h". I am wondering if this is a bug in the header file ?

Best,

Ashish

Edit: I see this behavior with ARM code gen v5.2.4 and v15.12.2 LTS

over 7 years ago

0 George Mock over 7 years ago

TI__Guru**** 232880 points

The __va_parmadr operator is described in this post. It has semantics that cannot be represented in standard C code. For instance, the argument can be of any type. Is there some way to tell your static analysis tool to ignore it?

Thanks and regards,

-George

0 Ashish Kapania over 7 years ago in reply to George Mock

TI__Mastermind 21645 points

Ok, thanks. I will have to check to see if its possible to ignore a function in coverity and how to do that.

If the argument type is not known, then how does the compiler know how to pass arguments to the function ?

Best,
Ashish

0 George Mock over 7 years ago in reply to Ashish Kapania

TI__Guru**** 232880 points

Ashish Kapania said:
If the argument type is not known, then how does the compiler know how to pass arguments to the function ?

The argument type is known at compile time. However, any type is accepted. It is not possible to do this with the semantics of standard C functions.

Thanks and regards,

-George

0 Archaeologist over 7 years ago in reply to Ashish Kapania

TI__Guru* 84225 points

It's not a true function, it's a keyword like "sizeof" or "register." It's part of the TI-C language. I presume Coverity has a way to ignore compiler built-ins, but I don't know how.

0 Ashish Kapania over 7 years ago in reply to Archaeologist

TI__Mastermind 21645 points

Thanks. I found a way to add a dummy definition for __va_parmadr in our setup so coverity ignores it.

Best,

Ashish

Code Composer Studio™︎

Code Composer Studio forum

Static analyzer reports __va_parmadr (va_start) is declared implicitly