Analyzer should not accept template for first argument in a match operation

Submitted by Jeno Attila Balasko

Assigned to Jeno Attila Balasko

Link to original bug (#520361)

Description

The on-the-fly analyzer accepts this code but it should not:

module MatchTest {

type component CT{}

testcase tc() runs on CT { var template integer t_i := ?; if( match(t_i, 3)) {

setverdict(pass)}

}

}

Version: 6.2.0