Bug 320749 (MONO78001) - [Flow-analysis] use of unitialized variable.
Summary: [Flow-analysis] use of unitialized variable.
Status: RESOLVED FIXED
Alias: MONO78001
Product: Mono: Compilers
Classification: Mono
Component: C# (show other bugs)
Version: unspecified
Hardware: Other Other
: P3 - Medium : Normal
Target Milestone: ---
Assignee: Marek Safar
QA Contact: Mono Bugs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2006-04-03 22:03 UTC by Miguel de Icaza
Modified: 2013-11-25 15:11 UTC (History)
1 user (show)

See Also:
Found By: ---
Services Priority:
Business Priority:
Blocker: ---
Marketing QA Status: ---
IT Deployment: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Thomas Wiest 2007-09-15 19:53:56 UTC


---- Reported by miguel@ximian.com 2006-04-03 15:03:04 MST ----

Jon Jagger found this bug:


class App
{
    public static void F(out int x, int y)
    {
        System.Console.WriteLine(y);
        x = 42;
    }

    public static void Main()
    {
        int x;
        F(out x, x);
    }
}

and allows you you see the value of an uninitialized variable! I think 
this is a bug (the relevant clause is in the definite assignment of 
invocation expressions...)



---- Additional Comments From rharinath@novell.com 2006-05-04 07:13:44 MST ----

This has to wait until we start tracking 'definite assignment' in
expressions.  I have the vague outlines of an idea of how to do it
reasonably non-invasively.



---- Additional Comments From miguel@ximian.com 2007-01-01 03:56:36 MST ----

Setting severity to two months. 

This bug depended on bug(s) 57747.

Unknown operating system unknown. Setting to default OS "Other".

Comment 3 Susanne Oberhauser-Hirschoff 2011-07-20 12:29:32 UTC
Reassigning to Miguel to drive further resolution...
Comment 4 Marek Safar 2013-11-25 15:11:09 UTC
Fixed