diff options
| author |  qadeer <qadeer@microsoft.com> | 2011-04-27 17:10:50 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2011-04-27 17:10:50 -0700 |
| commit | 4fe3ca2b72eef3a7a5864053f7857a0caf70a420 (patch) | |
| tree | feab7f4a160620c54e3ff9c8d252439a5d0fda99 | |
| parent | 5970aa91f736ff69ef420a677d6ba2b7d160e937 (diff) | |
fixed a bug in ComputeAllLabels
| -rw-r--r-- | Source/Core/AbsyCmd.cs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Source/Core/AbsyCmd.cs b/Source/Core/AbsyCmd.cs index c6184e63..87b48740 100644 --- a/Source/Core/AbsyCmd.cs +++ b/Source/Core/AbsyCmd.cs @@ -247,7 +247,9 @@ namespace Microsoft.Boogie { private void ComputeAllLabels(StmtList stmts) {
if (stmts == null) return;
foreach (BigBlock bb in stmts.BigBlocks) {
- allLabels.Add(bb.LabelName);
+ if (bb.LabelName != null) {
+ allLabels.Add(bb.LabelName);
+ }
ComputeAllLabels(bb.ec);
}
}
|