Project

General

Profile

Bug #10202

SVA grammar warnings via assembling

Added by Sergey Smolov 4 months ago. Updated 4 months ago.

Status:
Resolved
Priority:
Normal
Target version:
Start date:
04/03/2020
Due date:
% Done:

0%

Estimated time:
Detected in build:
git
Platform:
Published in build:

Description

> Task :generateGrammarSource
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:342:58:
Decision can match input such as "COMMA DUMMY_attributes DUMMY_port_identifier" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control KW_ALWAYS DUMMY_expression" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control DUMMY_event_control DELAY" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control {KW_NEXTTIME, KW_S_NEXTTIME} LPAREN" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control KW_NOT LPAREN" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control LPAREN LPAREN" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control DUMMY_event_control KW_EVENTUALLY" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control KW_ALWAYS KW_EVENTUALLY" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control KW_S_EVENTUALLY KW_EVENTUALLY" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control {KW_NEXTTIME, KW_S_NEXTTIME} DUMMY_hierarchical_identifier" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control KW_NOT DUMMY_hierarchical_identifier" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control LPAREN DUMMY_hierarchical_identifier" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control {KW_STRONG, KW_WEAK} LPAREN" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control DUMMY_event_control {KW_STRONG, KW_WEAK}" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control {KW_NEXTTIME, KW_S_NEXTTIME} KW_EVENTUALLY" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control KW_NOT KW_EVENTUALLY" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control LPAREN KW_EVENTUALLY" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control DUMMY_event_control {KW_NEXTTIME, KW_S_NEXTTIME}" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control KW_FIRST_MATCH LPAREN" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control {KW_NEXTTIME, KW_S_NEXTTIME} LBRACK" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control {KW_NEXTTIME, KW_S_NEXTTIME} KW_NOT" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control KW_NOT KW_NOT" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control LPAREN KW_NOT" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control KW_ALWAYS LBRACK" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control {KW_NEXTTIME, KW_S_NEXTTIME} KW_S_EVENTUALLY" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control KW_NOT KW_S_EVENTUALLY" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control LPAREN KW_S_EVENTUALLY" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control {KW_ACCEPT_ON, KW_REJECT_ON, KW_SYNC_ACCEPT_ON..KW_SYNC_REJECT_ON} LPAREN" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control KW_ALWAYS KW_NOT" using multiple alternatives: 1, 2

As a result, alternative(s) 2 were disabled for that input
warning(200): ru\ispras\verilog\parser\grammar\SvaParser.g:367:7:
Decision can match input such as "DUMMY_event_control KW_S_EVENTUALLY KW_NOT" using multiple alternatives: 1, 2
...

History

#1

Updated by Mikhail Lebedev 4 months ago

  • Status changed from New to Resolved

Warnings are ok :)
There is some ambiguity in the grammar.

#2

Updated by Sergey Smolov 4 months ago

Can this ambiguity be fixed or it comes from the standard?

#3

Updated by Mikhail Lebedev 4 months ago

From the standard and because of the ANTLR features.

#4

Updated by Sergey Smolov 4 months ago

Could these warnings be suppressed?

#5

Updated by Mikhail Lebedev 4 months ago

No. If you look more carefully, there are also old warnings in VerilogParser.

Also available in: Atom PDF