[Pnet-developers] [bug #4430] Internal error: Could not verify the code - br.s at verify_branch.c:393

[nobody]

=================== BUG #4430: LATEST MODIFICATIONS ==================
http://savannah.gnu.org/bugs/?func=detailbug&bug_id=4430&group_id=353

Changes by: Gopal.V <address@hidden>
Date: Wed 07/23/03 at 22:40 (Asia/Calcutta)

------------------ Additional Follow-up Comments ----------------------------
Test case reduced to br.s.il attached

------------------ Additional Bug Attachment  ----------------------------
File name: br.s.il                        Size:1 KB

http://savannah.gnu.org/bugs/download.php?group_id=353&amp;bug_id=4430&amp;bug_file_id=549



=================== BUG #4430: FULL BUG SNAPSHOT ===================


Submitted by: yannis_bres             Project: DotGNU Portable.NET          
Submitted on: Wed 07/23/03 at 20:30
Category:  None                       Severity:  5 - Major                  
Bug Group:  None                      Resolution:  None                     
Assigned to:  None                    Status:  Open                         

Summary:  Internal error: Could not verify the code - br.s at 
verify_branch.c:393

Original Submission:  There is a very recent bug in the CVS repository :  
although we haven't changed our code generation recently, ilrun/ilverify now 
refuse several of our programs.
For instance, run the attached program with :
ilrun -S 4096 -C 256 bigloo-dotnet-ms.exe -v2 -Rminimal-push -O long.c
This program runs perfectly with MS VM...
Have fun,
Yannis



Follow-up Comments
*******************

-------------------------------------------------------
Date: Wed 07/23/03 at 22:40         By: t3rmin4t0r
Test case reduced to br.s.il attached


CC list is empty


File Attachments
****************

-------------------------------------------------------
Date: Wed 07/23/03 at 22:40  Name: br.s.il  Size: 1KB   By: t3rmin4t0r

http://savannah.gnu.org/bugs/download.php?group_id=353&amp;bug_id=4430&amp;bug_file_id=549

-------------------------------------------------------
Date: Wed 07/23/03 at 20:30  Name: br.s_at_verify_branch.c_393.zip  Size: 479KB 
  By: yannis_bres

http://savannah.gnu.org/bugs/download.php?group_id=353&amp;bug_id=4430&amp;bug_file_id=548


For detailed info, follow this link:
http://savannah.gnu.org/bugs/?func=detailbug&bug_id=4430&group_id=353

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/