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

[Ted Kremenek]

Hi Sascha,

I have file PR 8052 to track this issue:

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

On Sep 1, 2010, at 1:46 AM, Sascha Wildner wrote:

> 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
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev