Failure with scan-build when compiling the DragonFly kernel

Hi guys,

I'm seeing a crash when scan-building the DragonFly kernel:

----------8<----------
[...]
ANALYZE: /home/s/projects/compile/src/sys/platform/pc32/i386/mp_machdep.c install_ap_tramp
Assertion failed: (0 && "Do not get the object type of a CodeTextRegion."), function getValueType, file /home/s/tmp/compile/llvm/tools/clang/lib/Checker/../../include/clang/Checker/PathSensitive/MemRegion.h, line 382.
Stack dump:
0. Program arguments: /usr/local/bin/clang -cc1 -DIBOutlet=__attribute__((iboutlet)) -cc1 -triple i386-unknown-dragonfly2.7 -fsyntax-only -disable-free -main-file-name mp_machdep.c -mrelocation-model static -mdisable-fp-elim -mconstructor-aliases -target-cpu pentium4 -target-linker-version 2.17 -nostdinc -resource-dir /usr/local/lib/clang/2.8 -include opt_global.h -D _KERNEL -I . -I include -I /home/s/projects/compile/src/sys -I /home/s/projects/compile/src/sys/../include -I /usr/obj/home/s/projects/compile/src/sys/LINT -I /home/s/projects/compile/src/sys/dev/acpica5 -I /home/s/projects/compile/src/sys/contrib/dev/acpica-unix/include -I /home/s/projects/compile/src/sys/contrib/ipfilter -I /home/s/projects/compile/src/sys/dev/netif/ath/hal -I /home/s/projects/compile/src/sys/dev/netif/ath/hal/ath_hal -std=c99 -ferror-limit 19 -fmessage-length 0 -ffreestanding -fno-builtin -fgnu-runtime -fdiagnostics-show-option -x c /home/s/projects/compile/src/sys/platform/pc32/i386/mp_machdep.c -analyze -analyzer-display-progress -analyzer-eagerly-assume -analyzer-opt-analyze-nested-blocks -analyzer-check-objc-mem -analyzer-check-security-syntactic -analyzer-check-dead-stores -analyzer-check-objc-unused-ivars -analyzer-check-objc-methodsigs -analyzer-opt-analyze-headers -analyzer-store=region -analyzer-constraints=range -analyzer-output=html -o /tmp/scan-build-2010-08-31-2
1. <eof> parser at end of file
2. /home/s/projects/compile/src/sys/platform/pc32/i386/mp_machdep.c:2387:3: Error evaluating statement
3. /home/s/projects/compile/src/sys/platform/pc32/i386/mp_machdep.c:2387:3: Error evaluating statement
4. /home/s/projects/compile/src/sys/platform/pc32/i386/mp_machdep.c:2387:12: Error evaluating statement
---------->8----------

The whole shebang is here:
http://yoyodyne.ath.cx/tmp/scan-build-2010-08-31-2/failures/

clang revision is #112605.

If you need more info, please tell me. If i should file a bug report, I can do that too.

Thanks,
Sascha

Hi Sascha,

I have file PR 8052 to track this issue:

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

Thanks Ted,

this fixes the issue here.

Regards,
Sascha