Bug #339
closed
Typedef names in declarations aren't always processed
Added by Evgeny Novikov over 14 years ago.
Updated over 11 years ago.
Detected in build:
old bug
Published in build:
bac956b1
Description
- Fix usage of '#' before typedef names at the beginning of declaration specifiers.
- Fix usage of multiple typedef names in declarations.
During processing of 0010 rule i encounter the fact that aspectator fails on typedefs processing sometimes. For example, on:
static inline void *kmalloc(size_t size, gfp_t flags)
It seems that some hacks that were made with this problem don't allow to process typedefs in any cases.
- Priority changed from Normal to High
This is a real bug indeed, since a lot of kernel functions are similar in that parameters have types that are typedefs.
- Priority changed from High to Normal
But nevertheless we will treat it after a new aspectator and RI integration.
After fixing #865, '#' was replaced with '^'.
- Project changed from Linux Driver Verification to C Instrumentation Framework
- Category deleted (
15)
- Status changed from Open to Closed
- Published in build set to bac956b1
Fixed in bac956b1. From now typedef names should be used without any '#' or '^' signs before them!
Also available in: Atom
PDF