यह .Net IL क्यों सत्यापित नहीं है?

Question

मेरे पास कुछ कस्टम आईएल मैंने लिखा है और यह PEVerify पास नहीं करेगा। मुझे मिली त्रुटि

 
$ peverify foo.exe 

Microsoft (R) .NET Framework PE Verifier. Version 4.0.30319.17929 
Copyright (c) Microsoft Corporation. All rights reserved. 

[IL]: Error: [Z:\virtualbox_shared\foo.exe : HelloWorld.Program::Main][offset 0x00000021] Stack height at all points must be determinable in a single forward scan of IL. 
1 Error(s) Verifying foo.exe 

प्रोग्राम हालांकि किसी भी अपवाद के बिना ठीक चलाएगा।

.method private static hidebysig 
    default void Main (string[] args) cil managed 
{ 
// Method begins at RVA 0x2050 
.entrypoint 
// Code size 54 (0x36) 
.maxstack 2 

//custom IL 
ldc.i4 1 
ldc.i4 1 
ceq 
switch(first, second) 

first: 
ldc.i4 1 
br.s temp 
popit: pop 
br.s second 

temp: ldc.i4 1 
brfalse temp2 
temp2: br.s popit 

second: 
ldc.i4 2 
pop 

ret 

} // end of method Program::Main 

पूर्ण स्रोत कोड pastebin

पर है मैं इस त्रुटि क्यों मिल रही: यहाँ प्रासंगिक विधि के आईएल है?

Answer 1

है कि आईएल

की एक एकल आगे स्कैन में निर्धारण किया जाना चाहिए सत्यापन विफलता का मुख्य हिस्सा। सत्यापनकर्ता प्रत्येक एकल शाखा पथ को सत्यापित करने का प्रयास नहीं करता है, जिसे हलिंग समस्या को हल करने की आवश्यकता होगी। यह पीओपी के बारे में नाखुश है, यह में एक एकल आगे स्कैन में नहीं देख सकता है कि यह ऑपोड पिछली शाखा द्वारा एक खाली खाली स्टैक के साथ पहुंचा है और इसलिए मान्य है।

Answer 2

मैं पूरी तरह से समझ में नहीं आता क्यों इस सवाल का जवाब है, लेकिन इस PEVerify को यह कारण:

.method private static hidebysig 
    default void Main (string[] args) cil managed 
{ 
// Method begins at RVA 0x2050 
.entrypoint 
// Code size 54 (0x36) 
.maxstack 2 

//custom IL 
ldc.i4 1 
ldc.i4 1 
ceq 
switch(first, second) 

first: 
ldc.i4 1 
br.s temp 
ldc.i4 1 //not reached, but required! 
popit: pop 
br.s second 

temp: ldc.i4 1 
brfalse temp2 
temp2: br.s popit 

second: 
ldc.i4 2 
pop 

ret 

} // end of method Program::Main