parser: Allow UDT().field too, not just (UDT()).field (#757)

Author: dkl

changelog.txt

@@ -9,6 +9,7 @@ Version 1.01.0
 - WITH compounds now also accept type<UDT>(...) and UDT(...) expressions
 - Constant 0 integers can now be assigned to pointers no matter what integer type it is. Previously it didn't work with [U]LongInts on 32bit and [U]Longs on 64bit.
 - Constant 0 pointers can now be assigned to any integer type. Previously this was only allowed with integer types matching the pointer size (32bit or 64bit).
+- #757: It's now possible to do UDT().field instead of (UDT()).field (field accesses on anonymous UDTs with constructors)
 - Bindings (new/updated, including 64bit support):
 	Allegro 4.4.2 (allegro.bi)
 	algif 1.3 (allegro/algif.bi)

src/compiler/parser-expr-atom.bas

@@ -304,15 +304,15 @@ private function hFindId _
 				if( symbGetCompCtorHead( sym ) ) then
 					'' skip ID, ctorCall() is also used by type<>(...)
 					lexSkipToken( )
-					return cCtorCall( sym )
+					return cStrIdxOrMemberDeref( cCtorCall( sym ) )
 				end if
 
 			case FB_SYMBCLASS_TYPEDEF
 				'' typedef of a TYPE/CLASS?
 				if( symbHasCtor( sym ) ) then
 					'' skip ID, ctorCall() is also used by type<>(...)
 					lexSkipToken( )
-					return cCtorCall( symbGetSubtype( sym ) )
+					return cStrIdxOrMemberDeref( cCtorCall( symbGetSubtype( sym ) ) )
 				end if
 
 			end select

tests/structs/anon-access.bas

@@ -16,9 +16,33 @@ constructor CtorUdt( )
 	b = 456
 end constructor
 
+type PodUdtAlias as PodUdt
+type CtorUdtAlias as CtorUdt
+
 sub test cdecl( )
 	CU_ASSERT( (type<PodUdt>( 123 )).i = 123 )
 	CU_ASSERT( type<PodUdt>( 123 ).i = 123 )
+
+	CU_ASSERT( (type<PodUdtAlias>( 123 )).i = 123 )
+	CU_ASSERT( type<PodUdtAlias>( 123 ).i = 123 )
+
+	CU_ASSERT( (CtorUdt( )).a = 123 )
+	CU_ASSERT( (CtorUdt( )).b = 456 )
+	CU_ASSERT( CtorUdt( ).a = 123 )
+	CU_ASSERT( CtorUdt( ).b = 456 )
+	CU_ASSERT( (type<CtorUdt>( )).a = 123 )
+	CU_ASSERT( (type<CtorUdt>( )).b = 456 )
+	CU_ASSERT( type<CtorUdt>( ).a = 123 )
+	CU_ASSERT( type<CtorUdt>( ).b = 456 )
+
+	CU_ASSERT( (CtorUdtAlias( )).a = 123 )
+	CU_ASSERT( (CtorUdtAlias( )).b = 456 )
+	CU_ASSERT( CtorUdtAlias( ).a = 123 )
+	CU_ASSERT( CtorUdtAlias( ).b = 456 )
+	CU_ASSERT( (type<CtorUdtAlias>( )).a = 123 )
+	CU_ASSERT( (type<CtorUdtAlias>( )).b = 456 )
+	CU_ASSERT( type<CtorUdtAlias>( ).a = 123 )
+	CU_ASSERT( type<CtorUdtAlias>( ).b = 456 )
 end sub
 
 private sub test3538470 cdecl( )