taskThe Nosica programming language - Tasks: task #982, Implements detection of missing...

 
 
Show feedback again

You are not allowed to post comments on this tracker with your current authentification level.

task #982: Implements detection of missing return statement

Submitted by:  David Jobet <djobet>
Submitted on:  Mon 25 Oct 2004 08:57:09 PM UTC  
 
Should Start On: Mon 25 Oct 2004 12:00:00 AM UTCShould be Finished on: Mon 25 Oct 2004 12:00:00 AM UTC
Category: CompilerPriority: 1 - Later
Status: NonePrivacy: Public
Percent Complete: 0%Assigned to: None
Open/Closed: OpenEffort: 0.00

Mon 25 Oct 2004 08:57:09 PM UTC, original submission:

Make sure a method returns something.
Make it a type check error.

For now, as basic blocks are not handled yet, we cannot do dataflow analysis,
so we cannot easily make sure return statement are present in all possible traces.

Well, this one should be adapted with future method syntax, where a tuple can be passed as out parameter. In this syntax, the return statement dissapear.
To adapt this task, the dataflow analysis should make sure all variables of the tuple are assigned before exiting method.

David Jobet <djobet>
Project Administrator

 

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -unavailable- added by djobet (Submitted the item)
  •  

    Do you think this task is very important?
    If so, you can click here to add your encouragement to it.
    This task has 0 encouragements so far.

    Only logged-in users can vote.

     

    Please enter the title of George Orwell's famous dystopian book (it's a date):

     

     

    No Changes Have Been Made to This Item
    Show feedback again

    Back to the top


    Powered by Savane 3.1-cleanup