Visual C++ Beta 2

[PaulW]

When I compile the following code with the C++ compiler version
14.00.50215.44 (Microsoft Visual Studio 2005 beta 2) using the command line
'cl -W4 -clr:oldSyntax test.cpp' at run time I get a Null Reference Exception
due to the dynamic_cast. With the C++ compiler version 13.10.3077 from Visual
Studio 2003 using the command line 'cl -W4 -clr test.cpp' no such error is
generated.

#using <mscorlib.dll >

using namespace System;
using namespace System::Reflect ion;
using namespace System::Runtime ::InteropServic es;

public __gc class AttributesSampl e
{
public:
void Mymethod (int, [Out] String** str2m, String**)
{
*str2m = S"in Mymethod";
}
};

void PrintAttributes (Type* attribType, int iAttribValue)
{
if (attribType->IsEnum)
{
FieldInfo* fields[] =
attribType->GetFields(stat ic_cast<Binding Flags>(BindingF lags::Public |
BindingFlags::S tatic));
for (int i = 0; i < fields->Length; i++)
{
int fieldvalue = *dynamic_cast<I nt32*>(fields[i]->GetValue(0)) ;
//exception here
if ((fieldvalue & iAttribValue) == fieldvalue)
{
Console::WriteL ine(fields[i]->Name);
}
}
}
}

int main()
{
Type* MyType = Type::GetType(S "AttributesSamp le");
MethodBase* Mymethodbase = MyType->GetMethod(S"My method");
MethodAttribute s Myattributes = Mymethodbase->Attributes;
PrintAttributes (__typeof(Syste m::Reflection:: MethodAttribute s), (int)
Myattributes);
return 0;
}

Is this a bug?

[Jochen Kalmbach [MVP]]

Hi Paul!

When I compile the following code with the C++ compiler version
14.00.50215.44 (Microsoft Visual Studio 2005 beta 2) using the command line
'cl -W4 -clr:oldSyntax test.cpp' at run time I get a Null Reference Exception
due to the dynamic_cast. With the C++ compiler version 13.10.3077 from Visual
Studio 2003 using the command line 'cl -W4 -clr test.cpp' no such error is
generated.
It does not matter if you use the command-line or the IDE.
#using <mscorlib.dll >

using namespace System;
using namespace System::Reflect ion;
using namespace System::Runtime ::InteropServic es;

public __gc class AttributesSampl e
{
public:
void Mymethod (int, [Out] String** str2m, String**)
{
*str2m = S"in Mymethod";
}
};

void PrintAttributes (Type* attribType, int iAttribValue)
{
if (attribType->IsEnum)
{
FieldInfo* fields[] =
attribType->GetFields(stat ic_cast<Binding Flags>(BindingF lags::Public |
BindingFlags::S tatic));
for (int i = 0; i < fields->Length; i++)
{
int fieldvalue = *dynamic_cast<I nt32*>(fields[i]->GetValue(0)) ;
//exception here
if ((fieldvalue & iAttribValue) == fieldvalue)
{
Console::WriteL ine(fields[i]->Name);
}
}
}
}

int main()
{
Type* MyType = Type::GetType(S "AttributesSamp le");
MethodBase* Mymethodbase = MyType->GetMethod(S"My method");
MethodAttribute s Myattributes = Mymethodbase->Attributes;
PrintAttributes (__typeof(Syste m::Reflection:: MethodAttribute s), (int)
Myattributes);
return 0;
}

Is this a bug?

It seems to be!

The problem is that the VC2003 compiler generated the following IL-code:

<snipped>
obj1 = infoArray1[num1].GetValue(null) ;
int num1 = (int) obj1;
</snipped>

And the VC2005 B2 compiler /with /oldsyntax) generates:

<snipped>
obj1 = infoArray1[num1].GetValue(null) ;
int num1 = *(!(obj1 is int) ? 0 : ((int) obj1));
</snipped>
So please report a (detailed!) bug-report at:
http://lab.msdn.microsoft.com/productfeedback/

If you do not want to do this, please let me know, than I can do it for you.
--
Greetings
Jochen

My blog about Win32 and .NET
http://blog.kalmbachnet.de/

[Jochen Kalmbach [MVP]]

Is this a bug?
It seems to be!

But it looks like a bug in the VC2003 compiler!

Because "dynamic_ca st" should excatly do what the VC2005 compiler is doing:
Check if the object has the correct type (or derived) and then cast it
to this type or return "null".
The problem is that the VC2003 compiler generated the following IL-code:

<snipped>
obj1 = infoArray1[num1].GetValue(null) ;
int num1 = (int) obj1;
</snipped>
This is wrong...
And the VC2005 B2 compiler /with /oldsyntax) generates:

<snipped>
obj1 = infoArray1[num1].GetValue(null) ;
int num1 = *(!(obj1 is int) ? 0 : ((int) obj1));
</snipped>

This is correct.
But it should be documented in the "breaking-changes"...
--
Greetings
Jochen

My blog about Win32 and .NET
http://blog.kalmbachnet.de/

[PaulW]

Hi Jochen,

Thanks for the reply. Although I found the problem first in my own code I
based it on the sample code (and reproduced it in the sample code as well).
The sample code is at:

http://msdn.microsoft.com/library/de...eldsTopic2.asp.

Therefore it looks like this sample code is wrong.

I have submitted a bug report anyway.

Regards,
Paul.

[Jochen Kalmbach [MVP]]

Hi Paul!

I have submitted a bug report anyway.

Can you please post the link, so other people can easily find it...

--
Greetings
Jochen

My blog about Win32 and .NET
http://blog.kalmbachnet.de/

[PaulW]

"Jochen Kalmbach [MVP]" wrote:

Can you please post the link, so other people can easily find it...

The link is:

http://lab.msdn.microsoft.com/produc...3-a6abd826a899

Regards,
Paul