Opened 6 years ago

Closed 6 years ago

Last modified 6 years ago

#60 closed defect (fixed)

Superfluous warning for unused formal timer parameters

Reported by: phdmakk Owned by: phdmakk
Priority: major Milestone: v2.0.0 Series
Component: T3Q Version: 2.0
Keywords: Cc:

Description

Given an altstep

	altstep a_A1 (timer p_Timer) runs on C2 {
		[] PP.receive(1) {
			p_Timer.stop;
		}
	}

T3Q raises a warning that p_Timer is never used. Upon further investigation it turns out that p_Timer in the stop statement is not resolved properly.

Change History (2)

comment:1 Changed 6 years ago by phdmakk

  • Owner set to phdmakk
  • Status changed from new to accepted

comment:2 Changed 6 years ago by phdmakk

  • Resolution set to fixed
  • Status changed from accepted to closed

There are several issues related to resolving timers. Known cases have been addressed, however, there may be some special cases where further refinement is necessary.

Last edited 6 years ago by phdmakk (previous) (diff)
Note: See TracTickets for help on using tickets.