#12 troubles with imbricated structures

[Pascal Dupuis]

Context: linux Fedora 12 -- splint 3.1.2. Trying to remove messages about calling sigaction with parameter 2 or 3 set to NULL.

Source code included. /usr/include/signal.h modified as
[...]
extern int sigaction (int __sig, /*@null@*/ __const struct sigaction*__restrict act, ...

code generated as

gcc -C -E -o sigaction_test_cpp.c sigaction_test.c
sed -i '/^#/d' sigaction_test_cpp.c
add as two first lines to sigaction_test_cpp.c:
#define __restrict
#define __signed__ signed

gcc -C -E -o final.c sigaction_test_cpp.c

sed -i '/^#/d' final.c
splint -nolib +gnuextensions final.c

This generated seven messages with undefined fields in new_action and old_action. Could you please check ?

Regards

CdM

[Pascal Dupuis]