From 55f6965558bed5bfbcf178d0203b7311b447b81a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org>
Date: Wed, 15 Oct 2014 12:10:00 +0200
Subject: Handle CLASS.&field when checking values

---
 lib/asn1/src/asn1ct_check.erl | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'lib/asn1/src/asn1ct_check.erl')

diff --git a/lib/asn1/src/asn1ct_check.erl b/lib/asn1/src/asn1ct_check.erl
index 996c040373..9af88166e8 100644
--- a/lib/asn1/src/asn1ct_check.erl
+++ b/lib/asn1/src/asn1ct_check.erl
@@ -2079,7 +2079,13 @@ check_valuedef(#state{recordtopname=TopName}=S0, V0) ->
 	    case Type of
 		#classdef{} ->
 		    throw({objectdef});
-		#typedef{typespec=TypeSpec} ->
+		#typedef{typespec=TypeSpec0}=TypeDef ->
+		    TypeSpec = try check_type(S2, TypeDef, TypeSpec0) of
+				   TypeSpec1 -> TypeSpec1
+			       catch
+				   throw:{asn1_class,_} ->
+				       throw({objectdef})
+			       end,
 		    S3 = case is_contextswitchtype(Type) of
 			     true ->
 				 S2;
-- 
cgit v1.2.3