From 08f656658b460eb2a1acf7a57ef0f5a9a3f4bc68 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org>
Date: Tue, 26 Feb 2013 13:29:14 +0100
Subject: Fix handling of open interval constraints with pre-defined integers

The compiler would crash when given code such as the following:

  Type ::= INTEGER (lower<..<upper)
  lower INTEGER ::= 0
  lower INTEGER ::= 42
---
 lib/asn1/test/asn1_SUITE_data/ConstraintEquivalence.asn1 | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'lib/asn1/test')

diff --git a/lib/asn1/test/asn1_SUITE_data/ConstraintEquivalence.asn1 b/lib/asn1/test/asn1_SUITE_data/ConstraintEquivalence.asn1
index 6a97c1b38e..ad69553813 100644
--- a/lib/asn1/test/asn1_SUITE_data/ConstraintEquivalence.asn1
+++ b/lib/asn1/test/asn1_SUITE_data/ConstraintEquivalence.asn1
@@ -8,6 +8,9 @@ BEGIN
  SingleValueX5 ::= INTEGER ((42) INTERSECTION (MIN..MAX))
  SingleValueX6 ::= INTEGER ((42) INTERSECTION (40..49))
  SingleValueX7 ::= INTEGER (42..42)
+ SingleValueX8 ::= INTEGER (integer42)
+ SingleValueX9 ::= INTEGER (integer42..integer42)
+ SingleValueX10 ::= INTEGER ((integer42) INTERSECTION (40..49))
 
  UnconstrainedX0 ::= INTEGER
  UnconstrainedX1 ::= INTEGER (MIN..MAX)
@@ -24,6 +27,7 @@ BEGIN
  RangeX04 ::= INTEGER (5|6|7|8|9|10)
  RangeX05 ::= INTEGER (10|9|8|7|6|5)
  RangeX06 ::= INTEGER (5|6|7..10)
+ RangeX07 ::= INTEGER (integer4<..<integer11)
 
  RangeX10 ::= INTEGER ((5..6) UNION (7..8) UNION (9|10))
  RangeX11 ::= INTEGER ((5|6) UNION (7..8) UNION (9|10))
@@ -39,4 +43,8 @@ BEGIN
  RangeX23 ::= INTEGER ((0..10) INTERSECTION (5..20) ^ (MIN..MAX))
  RangeX24 ::= INTEGER ((5|6|7|8|9|10) INTERSECTION (5..20) ^ (MIN..MAX))
 
+ integer4 INTEGER ::= 4
+ integer11 INTEGER ::= 11
+ integer42 INTEGER ::= 42
+
 END
-- 
cgit v1.2.3