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