Failure with scan-build when compiling the DragonFly kernel

classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|

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
_______________________________________________
cfe-dev mailing list
[hidden email]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
Reply | Threaded
Open this post in threaded view
|

Re: 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
> [hidden email]
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev


_______________________________________________
cfe-dev mailing list
[hidden email]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
Reply | Threaded
Open this post in threaded view
|

Re: Failure with scan-build when compiling the DragonFly kernel

Sascha Wildner
On 9/1/2010 19:50, Ted Kremenek wrote:
> 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
_______________________________________________
cfe-dev mailing list
[hidden email]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev