[Pnet-developers] [bugs #7595] problem with c program and verification

[Rhys Weatherley]

This mail is an automated notification from the bugs tracker
 of the project: DotGNU Portable.NET.

/**************************************************************************/
[bugs #7595] Latest Modifications:

Changes by: 
                Rhys Weatherley <address@hidden>
'Date: 
                Sun 02/15/04 at 04:35 (GMT)

            What     | Removed                   | Added
---------------------------------------------------------------------------
          Resolution | None                      | Fixed
              Status | Open                      | Closed


------------------ Additional Follow-up Comments ----------------------------
I've improved the compiler so that it will give better
errors for missing symbols.  In this case, "scanf" was
a missing symbol, which is why the verifier error appeared.






/**************************************************************************/
[bugs #7595] Full Item Snapshot:

URL: <http://savannah.gnu.org/bugs/?func=detailitem&item_id=7595>
Project: DotGNU Portable.NET
Submitted by: Ilyak
On: Thu 02/05/04 at 18:12

Category:  None
Severity:  5 - Average
Item Group:  None
Resolution:  Fixed
Assigned to:  None
Status:  Closed


Summary:  problem with c program and verification

Original Submission:  ~% cscc hello.c -lm
~% ./a.out
<Module>::main [2064] - call at verify_call.c:1089
Uncaught exception: System.Security.VerificationException: Could not verify 
the code
        at <Module>..start(String[])

Also, compiling this file without -lm causes problems at runtime. Should not 
these problems happen during compile?

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


-------------------------------------------------------
Date: Sun 02/15/04 at 04:35         By: rweather
I've improved the compiler so that it will give better
errors for missing symbols.  In this case, "scanf" was
a missing symbol, which is why the verifier error appeared.






File Attachments
-------------------

-------------------------------------------------------
Date: Thu 02/05/04 at 18:12  Name: hello.c  Size: 554KB   By: Ilyak
Failed program was:
http://savannah.gnu.org/bugs/download.php?item_id=7595&amp;item_file_id=1032






For detailed info, follow this link:
<http://savannah.gnu.org/bugs/?func=detailitem&item_id=7595>

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