[think-dev] [ think-Nuptse (BUGS)-308598 ] Missing implementation does not stop compiler from producing hazardous code

[<noreply@xxxxxxxxxxxxxxxxxxx>]

Nuptse (BUGS) item #308598, was opened at 2008-02-19 09:41
You can respond by visiting: 
http://forge.objectweb.org/tracker/?func=detail&atid=350445&aid=308598&group_id=27

Category: None
Group: None
>Status: Closed
Resolution: Fixed
Priority: 5
Submitted By: Marc Poulhies (poulhies)
Assigned to: Nobody (None)
Summary: Missing implementation does not stop compiler from producing 
hazardous code

Initial Comment:
When a server method does not have its corresponding functional code, Nuptse
simply outputs a warning and continues the process. The result will be 
dangling
function pointer (usually NULL) that triggers sigsev on Unix or reboots on 
AVR.
This can be reproduced simply by modifying the 'simple' example and exploiting
an another bug
(http://forge.objectweb.org/tracker/index.php?func=detail&aid=308557&group_id=27&atid=350446
):

main{
    // the private variable can be accessed in the code like any other global
variable.
    info.i = 2; // write private data

Compiler will output:
[java] In implementation helloWorld_hw__default: cannot find method main::main

And the result is obviously broken.
$ ./build/obj_unix/helloWorld
Segmentation fault


----------------------------------------------------------------------

Comment By: Olivier Lobry (lobryol)
Date: 2008-02-25 11:28

Message:
Logged In: YES 
user_id=743

An error is now raised and the compiler stops.

----------------------------------------------------------------------

You can respond by visiting: 
http://forge.objectweb.org/tracker/?func=detail&atid=350445&aid=308598&group_id=27