Ticket #1 (closed defect: fixed)

Opened 15 months ago

Last modified 15 months ago

Inferred callout have wrong return type void

Reported by: stephan Owned by: stephan
Priority: major Milestone: OTDT_1.1.4
Component: compiler Version: 1.1.3
Keywords: Cc:

Description

Inferred callouts have return type void even if the base method has non-void return and actually a return value is needed at the call-site.

Reported by Andreas Werner

Change History

Changed 15 months ago by stephan

  • status changed from new to assigned
  • version set to 1.1.3
  • milestone set to OTDT_1.1.4

Changed 15 months ago by stephan

Created jacks test 3.1.17-otjld-inferred-callout-5 as a witness. The boolean operator && seems not to set the expected type for its LHS, whereas the following statement actually works: 

   return test("OK") ? 32 : -1;

Changed 15 months ago by stephan

  • status changed from assigned to closed
  • resolution set to fixed

Fixed in r16467

Note: See TracTickets for help on using tickets.