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 Oct 25 20:57:09 2004  
Should Start On: Mon Oct 25 00:00:00 2004Should be Finished on: Mon Oct 25 00:00:00 2004
Category: CompilerPriority: 1 - Later
Status: NonePrivacy: Public
Percent Complete: 0%Assigned to: None
Open/Closed: OpenEffort: 0.00

Mon Oct 25 20:57:09 2004, 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.


    Error: not logged in



    No Changes Have Been Made to This Item
    Show feedback again

    Back to the top

    Powered by Savane 3.1-cleanup