Hi, Is it possible to get warnings if two typedef:ed integer types are assigned to eachother? I.e i would like a warning when assigning a=b in the example below.
cheers,
Andreas
Example Program:
--------------------
typedef int Type1;
typedef int Type2;
void test() {
Type1 a = 0;
Type2 b = 0;
a=b;
}
--------------------
Splint output:
-------------------
> splint test.c
Splint 3.0.1.6 --- 27 Mar 2002
Finished checking --- no warnings
>
-------------------
