Lint [lint2n] caught in infinite loop in Studio 11 and 12

Question

Here's another one:
lint is trapped in an endless loop by the following simple stripped-down code snippet, if invoked with -Ncheck:
# cat endlessloop.c
struct B {
    struct A* a;
struct A {
    const char* name;
    struct A*   next;
    struct B    b;
static struct B* get_b(struct A* a) {
    return &a->b;
void sunstudio_lint_endlessloop(struct A* a) {
    while (0) {
        struct B* b = get_b(a);
        if (0) a = 0;
        else   a = b->a;
    for (;;a=a->next)
        a->name = 0;
}The loop occurs in lint shipped with Studio 11 (Solaris10/x86_64)
lint: Sun C 5.8 Patch 121016-07 2007/10/03and with Studio 12 (RHEL4/x86_64)
lint: Sun C 5.9 Linux_i386 2007/05/03FYI:
When I attach a debugger to the process that consumes 100% CPU time, I get:
# dbx -xexec32
(dbx) attach 14691
Reading lint2n
Reading ld-linux.so.2
Reading libm.so.6
Reading libc.so.6
Attached to process 14691
stopped in Prop_node_proc_loc at 0x806cf78
0x0806cf78: Prop_node_proc_loc+0x1058:  cmpl     %ebx,%edx
(dbx) where
=>[1] Prop_node_proc_loc(0x1, 0x1, 0x78, 0x80757b9), at 0x806cf78
  [2] Build_node_all_proc(0x1, 0x28, 0x0, 0x0), at 0x806b92c
  [3] Global_Analyz(0x0, 0x0, 0xffffd7a8, 0x80752ee), at 0x806e316
  [4] main(0xa, 0xffffd834, 0xffffd860, 0xa3cc66, 0xb70ff4, 0x0), at 0x8075351I hope that this information is of some use for someone ...

Answer 1

jroemmler wrote:
I hope that this information is of some use for someone ...Sure. It is always helpful to know that somebody uses our tools :)
It hepls us prioritizing our work.
As for this particular issue, there is a workaround - use -Nlevel=1.
regards,
__Fedor.