Actions
Bug #339
closedTypedef names in declarations aren't always processed
Start date:
08/05/2010
Due date:
% Done:
0%
Estimated time:
Detected in build:
old bug
Platform:
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.
Updated by Evgeny Novikov almost 14 years ago
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.
Updated by Evgeny Novikov about 13 years ago
- 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.
Updated by Evgeny Novikov about 13 years ago
- Priority changed from High to Normal
But nevertheless we will treat it after a new aspectator and RI integration.
Updated by Evgeny Novikov almost 12 years ago
After fixing #865, '#' was replaced with '^'.
Updated by Evgeny Novikov over 11 years ago
- Project changed from Linux Driver Verification to C Instrumentation Framework
- Category deleted (
15)
Updated by Evgeny Novikov about 11 years ago
- 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!
Actions