error in analyzing xen 4.0.0 code
ID0000516: This issue was created automatically from Mantis Issue 516. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000516 | Frama-C | Plug-in > Eva | public | 2010-06-19 | 2010-12-10 |
| Reporter | amkhalid | Assigned To | pascal | Resolution | unable to reproduce |
| Priority | normal | Severity | crash | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | - | Target Version | - | Fixed in Version | - |
Description :
[kernel] Parsing stage early [kernel] Parsing stage extending [kernel] Parsing stage extended [kernel] Parsing stage exiting [kernel] Parsing stage loading [kernel] Parsing stage configuring [kernel] preprocessing with "gcc -C -E -I. -I/home/ak729/xen-4.0.0/xen/include/ /home/ak729/xen-4.0.0/xen/common/kernel.c" /home/ak729/xen-4.0.0/xen/include/public/domctl.h:51:[kernel] user error: syntax error [kernel] The full backtrace is: [kernel] Raised at file "cil/src/frontc/frontc.ml", line 209, characters 9-28 [kernel] Called from file "cil/src/frontc/frontc.ml", line 124, characters 13-38 [kernel] Called from file "cil/src/frontc/frontc.ml", line 263, characters 13-32 [kernel] Called from file "src/kernel/file.ml", line 546, characters 27-46 [kernel] Called from file "src/kernel/file.ml", line 582, characters 16-23 [kernel] Re-raised at file "src/kernel/file.ml", line 585, characters 52-55 [kernel] Called from file "list.ml", line 74, characters 24-34 [kernel] Called from file "src/kernel/file.ml", line 579, characters 6-314 [kernel] Called from file "src/kernel/file.ml", line 1027, characters 12-30 [kernel] Called from file "src/kernel/file.ml", line 1108, characters 4-27 [kernel] Called from file "src/kernel/ast.ml", line 57, characters 29-45 [kernel] Called from file "src/project/computation.ml", line 108, characters 17-21 [kernel] Called from file "src/kernel/file.ml", line 1147, characters 12-22 [kernel] Called from file "src/project/project.ml", line 432, characters 12-15 [kernel] Re-raised at file "src/project/project.ml", line 437, characters 10-11 [kernel] Called from file "src/kernel/boot.ml", line 44, characters 33-47 [kernel] Called from file "src/kernel/cmdline.ml", line 170, characters 4-8 [kernel] [kernel] Unexpected error (Parsing.Parse_error). [kernel] Please report as 'crash' at http://bts.frama-c.com