Lint -Ncheck: wrong warning [E_VALUE_TYPE] in Studio 6, 11, 12

Question

lint -Ncheck will produce an obviously wrong warning about an "inconsistent use of a value type as enum" if it sees the following simple piece of valid C code:
struct AB {
    enum { a } enum_A;
    enum { b } enum_B;
static void func(struct AB* ab) {
    ab->enum_A = a;
    ab->enum_B = b;
    if( ab->enum_A == a ) return;
void main() {
    struct AB ab;
    func(&ab);
}Can anyone reproduce this?
# lint -s -errtags -Ncheck bug.c
"bug.c", line 10: warning: inconsistent use of a value type as enum
        ab.enum_A defined at bug.c(14)  bug.c(10) :: bug.c(8) set as enum
        call stack:
                main()                , bug.c(15)
                func()                , bug.c(8)
        call stack:
                main()                , bug.c(15)
                func()                , bug.c(10)
(E_VALUE_TYPE)
[...]

Answer 1

Thanks for reporting the issue.
Filed it as 6637282. Should be visible through bugs.sun.com in 24h.
regards,
__Fedor.