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

[nobody]

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

Soumis par: yannis_bres               Projet: DotGNU Portable.NET           
Signalé le: mer 23.07.2003 à 15:00
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





No Followups Have Been Posted


La liste CC est vide


Fichiers attachés
****************

-------------------------------------------------------
Date: mer 23.07.2003 à 15:00  Name: br.s_at_verify_branch.c_393.zip  Size: 
479KB   By: yannis_bres

http://savannah.gnu.org/bugs/download.php?group_id=353&bug_id=4430&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/