6 ms·
Typedefs in C are just aliases, so given `typedef int foo;` one can freely use `int`s and `foo`s interchangeably, i.e. no checking by the compiler. That said,
by dbaupp 13y ago
Typedefs in C are just aliases, so given `typedef int foo;` one can freely use `int`s and `foo`s interchangeably, i.e. no checking by the compiler.
That said, one could use actual wrapper structs around the various types.
- skybrian 13y agoA static analysis framework could treat certain typedefs specially since it's parsing the C code anyway.
- marshray 13y agoGreat idea! Too bad openssl uses #define instead
- johnkeeping 13y agoThere's also sparse[0]'s address space annotation, which Linux uses for annotating data from userspace. [0] https://git.kernel.org/cgit/devel/sparse/sparse.git/ https://git.kernel.org/cgit/devel/sparse/sparse.git/