[cfe-dev] Failure with scan-build when compiling the DragonFly kernel

[Sascha Wildner]

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