[Issue 1854] New: bug in new flow analysis (warnings on valid code)

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=1854

           Summary: bug in new flow analysis (warnings on valid code)
           Product: D
           Version: 2.011
          Platform: PC
        OS/Version: Windows
            Status: NEW
          Keywords: rejects-valid
          Severity: critical
          Priority: P2
         Component: DMD
        AssignedTo: bugzilla at digitalmars.com
        ReportedBy: spam at extrawurst.org


this code gives warning if compiled via -w though it should not:

[CODE]
class Foo {
  int foo() {
      synchronized(this){
          return 8;
      }
  }
}
[/CODE]

warning - main.d(3): function main.Foo.foo no return at end of function


--