Project

General

Profile

Actions
Copy link

Bug #9708

open

astraver: attach#global: called on already dead object

Added by Denis Efremov almost 5 years ago.

Status:
New
Priority:
Normal
Assignee:
Mikhail Mandrykin
Start date:
06/14/2019
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

[kernel] Parsing src/x509-parser.c (with preprocessing)
[av] Starting AstraVer translation
[av] src/x509-parser.c:9180:4: Failure: 
  attach#global: called on already dead object
[kernel] Current source was: src/x509-parser.c:9180
  The full backtrace is:
  Raised at file "src/kernel_services/plugin_entry_points/log.ml" (inlined), line 533, characters 24-31
  Called from file "src/kernel_services/plugin_entry_points/log.ml", line 1099, characters 17-55
  Called from file "src/kernel_services/plugin_entry_points/log.ml", line 526, characters 9-23
  Re-raised at file "src/kernel_services/plugin_entry_points/log.ml", line 529, characters 9-16
  Called from file "src/kernel_services/plugin_entry_points/log.ml", line 1099, characters 4-125
  Called from file "rewrite.ml", line 1636, characters 8-62
  Called from file "rewrite.ml", line 1696, characters 24-41
  Called from file "common.ml", line 107, characters 14-18
  Called from file "common.ml" (inlined), line 113, characters 33-54
  Called from file "rewrite.ml" (inlined), line 1693, characters 8-234
  Called from file "rewrite.ml", line 1685, characters 10-570
  Called from file "rewrite.ml", line 1706, characters 43-58
  Called from file "list.ml", line 106, characters 12-15
  Called from file "common.ml", line 1912, characters 4-26
  Called from file "rewrite.ml", line 1742, characters 2-72
  Called from file "rewrite.ml", line 2494, characters 2-8
  Called from file "rewrite.ml" (inlined), line 2498, characters 14-25
  Called from file "rewrite.ml", line 2509, characters 2-53
  Called from file "register.ml", line 146, characters 2-22
  Called from file "register.ml", line 303, characters 6-12
  Called from file "queue.ml", line 105, characters 6-15
  Called from file "src/kernel_internals/runtime/boot.ml", line 36, characters 4-20
  Called from file "src/kernel_services/cmdline_parameters/cmdline.ml", line 792, characters 2-9
  Called from file "src/kernel_services/cmdline_parameters/cmdline.ml", line 822, characters 18-64
  Called from file "src/kernel_services/cmdline_parameters/cmdline.ml", line 229, characters 4-8

Files

Download all files
x509-parser.h (2.01 KB) x509-parser.h Denis Efremov, 06/14/2019 06:45 PM
x509-parser.c (229 KB) x509-parser.c Denis Efremov, 06/14/2019 06:45 PM

No data to display

Actions
Copy link

Also available in: Atom PDF