graphviz crash

Hi there,

We are facing what seems to be a nasty bug that makes GV crash.
All our versions of GV crash on all platforms:
on windows 7 2.37.20140220.0545
on mac OS X 10.9 2.34.0
and on achlinux 2.36.0-2.

The file is the following.

digraph G {
rankdir=LR;
ranksep=2;
compound=true;
subgraph cluster0 {
label= "\<\\> bridge2(0)";
color=black;
subgraph cluster1 {
label= "\<\\> refactored(1)";
color=black;
44 [ label = < StackFactory(44)
StackFactory(45)
make()(6)
>, shape = "none" ];
2 [ label = < <<interface>>Stack(2)
isEmpty()(13)
top()(15)
push()(9)
pop()(17)
>, shape = "none" ];
36 [ label = < AbstractStack(36)
impl(7)
AbstractStack(37)
isEmpty()(14)
pop()(18)
push()(10)
top()(16)
>, shape = "none" ];
48 [ label = < Node(48)
value(51)
next(49)
prev(50)
Node(52)
>, shape = "none" ];
46 [ label = < BridgeDisc(46)
BridgeDisc(47)
main()(3)
>, shape = "none" ];
19 [ label = < StackArray(19)
items(20)
total(24)
StackArray(27)
pop()(23)
push()(21)
top()(22)
isEmpty()(25)
isFull()(26)
>, shape = "none" ];
41 [ label = < StackHanoi(41)
impl(8)
totalRejected(42)
StackHanoi(38)
reportRejected()(43)
push()(12)
>, shape = "none" ];
40 [ label = < StackFIFO(40)
impl(4)
temp(5)
StackFIFO(39)
pop()(11)
>, shape = "none" ];
28 [ label = < StackList(28)
last(29)
StackList(35)
top()(32)
pop()(33)
isEmpty()(31)
push()(30)
isFull()(34)
>, shape = "none" ];
}
}
44:6 -> 2:2 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
44:6 -> 19:19 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
44:6 -> 41:41 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
44:6 -> 40:40 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
44:6 -> 28:28 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
44:6 -> 41:38 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
44:6 -> 28:35 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
44:6 -> 19:27 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
44:6 -> 40:39 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
36:16 -> 36:7 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
36:16 -> 2:15 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
36:10 -> 36:7 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
36:10 -> 2:9 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
36:18 -> 2:17 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
36:18 -> 36:7 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
36:7 -> 44:44 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
36:7 -> 2:2 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
36:7 -> 44:6 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
36:14 -> 36:7 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
36:14 -> 2:13 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
36:36 -> 2:2 [style = solid, color = black, penwidth = 1, arrowhead = empty ];
36:36 -> 2:2 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
48:50 -> 48:48 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
48:49 -> 48:48 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
48:52 -> 48:51 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
46:3 -> 2:17 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
46:3 -> 44:44 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
46:3 -> 2:2 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
46:3 -> 41:43 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
46:3 -> 2:9 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
46:3 -> 41:41 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
46:3 -> 2:13 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
46:3 -> 44:6 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
19:26 -> 19:24 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
19:25 -> 19:24 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
19:22 -> 19:25 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
19:22 -> 19:24 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
19:22 -> 19:20 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
19:21 -> 19:26 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
19:21 -> 19:24 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
19:21 -> 19:20 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
19:23 -> 19:25 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
19:23 -> 19:24 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
19:23 -> 19:20 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
19:19 -> 2:2 [style = solid, color = black, penwidth = 1, arrowhead = empty ];
19:19 -> 2:2 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
41:12 -> 36:16 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
41:12 -> 41:42 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
41:12 -> 2:9 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
41:12 -> 36:14 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
41:12 -> 41:8 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
41:43 -> 41:42 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
41:38 -> 36:37 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
41:8 -> 44:44 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
41:8 -> 2:2 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
41:8 -> 44:6 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
41:41 -> 36:36 [style = solid, color = black, penwidth = 1, arrowhead = empty ];
41:41 -> 36:36 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
40:5 -> 44:44 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
40:5 -> 2:2 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
40:5 -> 44:6 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
40:11 -> 36:10 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
40:11 -> 2:17 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
40:11 -> 40:5 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
40:11 -> 2:9 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
40:11 -> 36:14 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
40:11 -> 40:4 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
40:11 -> 2:13 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
40:4 -> 44:44 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
40:4 -> 2:2 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
40:4 -> 44:6 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
40:39 -> 36:37 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
40:40 -> 36:36 [style = solid, color = black, penwidth = 1, arrowhead = empty ];
40:40 -> 36:36 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
28:30 -> 48:50 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
28:30 -> 48:48 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
28:30 -> 28:29 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
28:30 -> 48:49 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
28:30 -> 48:52 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
28:31 -> 28:29 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
28:29 -> 48:48 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
28:33 -> 48:50 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
28:33 -> 28:31 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
28:33 -> 28:29 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
28:33 -> 48:51 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
28:32 -> 28:31 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
28:32 -> 28:29 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
28:32 -> 48:51 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
28:28 -> 2:2 [style = solid, color = black, penwidth = 1, arrowhead = empty ];
28:28 -> 2:2 [style = bold, color = black, penwidth = 1, arrowhead = normal ];
}

Please make a bug report at

Please make a bug report at http://www.graphviz.org/content/graphviz-issue-tracker. In particular, download your file. The version you pasted here appears to have lost various characters, and it certainly works fine for me on macs and windows.

both mziane and me are only

both mziane and me are only viewer and can't post on the tracker. anyway we send an email to [email protected]

for the curious, i pasted here the complete graph :

http://pastebin.com/nQsnRViE

(we use html label and the forum seems to not enjoy it)

ok a colleague will do a bug report

Thanks for the answer. 

A colleague will do a bug report. He noticed the HTLM labels got swallowed! Probably a protection but it certainly is not the same file any more ^_^.

 

I did receive the graph and

I did receive the graph and can replicate the problem. We'd still appreciate it if you could file a bug report. You are now both reporters. Thanks.

Recent comments