为什么Graphviz/Dot对这个特定代码的行为如此怪异？

Question

我在Windows7上使用GraphViz 2.28 (目前稳定版本)，下面的代码是Graphviz/Dot崩溃。

digraph G {
ranksep = 1.0; size = "10,10";
{
    node [shape = plaintext, fontsize = 20];
    GAWM1 -> GAWM2 -> 0;
}

node [shape = box];
{rank = same;0;wx1;wx2;rx1;}

wx1 -> wx2;
wx2 -> rx1;
wx1 -> rx1[color = blue];

subgraph struct
{
    node [shape = record];
    rx11 [shape = record, label = "rx1 | [x=[wx2]]"];
}
{rank = same; GAWM1; "rx11";}

// W'WR Order:
wx2 -> wx1[style = dashed, color = red, label = "1"]; }

当我在这个例子上做一些实验时，事情变得很奇怪：

1. 当只删除最后一个语句"wx2 -> wx1style =虚线，color = red，label =“1”时，它工作得很好；
2. 当只删除第8行"{rank = when；0；Wx1；wx2；RX1；}“时，它工作得很好；
3. 当只删除最后一个语句中的标签(即"，label =“1”)时，它也工作得很好。

我已经向Graphviz问题跟踪器报告了这个问题，还没有回复。你能帮忙找出原因吗？

谢谢。

Answer 1

脚本的以下变体执行而不是崩溃：

digraph G {
ranksep = 1.0; size = "10,10";
{
    node [shape = plaintext, fontsize = 20];
    GAWM1 -> GAWM2 -> 0;
}
node [shape = box];
{rank = same;0;wx1;wx2;rx1;}
wx1 -> wx2;
wx2 -> rx1;
wx1 -> rx1[color = blue];
subgraph struct
{
    node [shape = record];
    rx11 [shape = record, label = "rx1 | [x=[wx2]]"];
}
{rank = same; GAWM1; "rx11";}
// W'WR Order:
//wx2 -> wx1[style = dashed, color = red, label = "1"]; 
wx2 -> wx1 [style=dashed, color=red];
}

看起来就像label在wx1和wx2之间的短边的错误。