luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Internals: Fix coverage exclusion

This commit is contained in:
Geza Lore 2025-10-09 15:58:41 +01:00
parent 1a91ab02cf
commit e63d486422
2 changed files with 9 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
Makefile.in
View File

@ -710,16 +710,21 @@ coverage-combine: $(COVERAGE_DIR)/verilator.info
.PHONY: coverage-report .PHONY: coverage-report
coverage-report: coverage-report:
@$(MAKE) --no-print-directory $(COVERAGE_DIR)/report/index.html || true @$(MAKE) --no-print-directory $(COVERAGE_DIR)/report/index.html || true
@echo "####################################################################"
@if [ -f $(COVERAGE_DIR)/report/index.html ]; then \ @if [ -f $(COVERAGE_DIR)/report/index.html ]; then \
echo "####################################################################"; \
echo "# Coverage report is at: $(COVERAGE_DIR)/report/index.html"; \ echo "# Coverage report is at: $(COVERAGE_DIR)/report/index.html"; \
echo "# Use 'make coverage-view' to open it in your default browser"; \ echo "# Use 'make coverage-view' to open it in your default browser"; \
echo "####################################################################"; \
elif [ -f $(COVERAGE_DIR)/empty-patch ]; then\ elif [ -f $(COVERAGE_DIR)/empty-patch ]; then\
echo "####################################################################"; \
echo "# Patch is empty"; \ echo "# Patch is empty"; \
echo "####################################################################"; \
else \ else \
echo "# Failed to create coverage report. Maybe there is no data?"; \ echo "####################################################################"; \
echo "# Failed to create coverage report. Maybe no data, or error?"; \
echo "####################################################################"; \
false; \
fi fi
@echo "####################################################################"
# Open covarage report in default web browser # Open covarage report in default web browser
.PHONY: coverage-view .PHONY: coverage-view

2
src/V3DfgCse.cpp
View File

@ -46,7 +46,7 @@ class V3DfgCse final {
static V3Hash vertexSelfHash(const DfgVertex& vtx) { static V3Hash vertexSelfHash(const DfgVertex& vtx) {
switch (vtx.type()) { switch (vtx.type()) {
// Unhandled vertices // Unhandled vertices
case VDfgType::Logic: // LCOV_EXCL_LINE case VDfgType::Logic: // LCOV_EXCL_START
case VDfgType::Unresolved: // LCOV_EXCL_STOP case VDfgType::Unresolved: // LCOV_EXCL_STOP
vtx.v3fatalSrc("Should not have reached CSE"); vtx.v3fatalSrc("Should not have reached CSE");