[LLVMbugs] [Bug 8052] New: analyzer asserts with "Do not get the object type of a CodeTextRegion" when analyzing DragonflyBSD

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=8052

           Summary: analyzer asserts with "Do not get the object type of a
                    CodeTextRegion" when analyzing DragonflyBSD
           Product: clang
           Version: trunk
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: kremenek at apple.com
                CC: llvmbugs at cs.uiuc.edu


This was reported on cfe-dev:

  http://lists.cs.uiuc.edu/pipermail/cfe-dev/2010-September/010727.html

Here is a delta-reduced test case:

$ cat reduced.c
typedef unsigned int __uint32_t;
typedef unsigned long vm_offset_t;
typedef __uint32_t pd_entry_t;
typedef unsigned char u_char;
typedef unsigned int u_int;
typedef unsigned long u_long;
extern int      bootMP_size;
void            bootMP(void);
static void 
install_ap_tramp(u_int boot_addr)
{
    int             x;
    int             size = *(int *) ((u_long) & bootMP_size);
    u_char         *src = (u_char *) ((u_long) bootMP);
    u_char         *dst = (u_char *) boot_addr + ((vm_offset_t) ((((((((1 <<
12) / (sizeof(pd_entry_t))) - 1) - 1) - (260 - 2))) << 22) | ((0) << 12)));
    for (x = 0;
         x < size;
         ++x)
        *dst++ = *src++;
}

$ clang --analyze reduced.c
Assertion failed: (0 && "Do not get the object type of a CodeTextRegion."),
function getValueType, file
/Users/kremenek/llvm/tools/clang/include/clang/Checker/PathSensitive/MemRegion.h,
line 382.

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.