From c288a7bfb9c26ee0494e16e38dc402b6ece4656b Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Fri, 3 Apr 2020 20:07:46 -0400 Subject: [PATCH] Add GCC10-style line number prefix when showing source text for errors. --- Changes | 2 + bin/verilator | 5 + src/V3FileLine.cpp | 24 +-- test_regress/t/t_array_backw_index_bad.out | 20 +-- test_regress/t/t_array_list_bad.out | 8 +- test_regress/t/t_array_pattern_bad.out | 4 +- test_regress/t/t_assert_comp_bad.out | 16 +- test_regress/t/t_assert_dup_bad.out | 8 +- test_regress/t/t_assoc_meth_bad.out | 36 ++--- test_regress/t/t_assoc_pattern_unsup.out | 4 +- test_regress/t/t_bitsel_const_bad.out | 4 +- test_regress/t/t_bitsel_wire_array_bad.out | 4 +- test_regress/t/t_case_default_bad.out | 4 +- test_regress/t/t_case_genx_bad.out | 4 +- test_regress/t/t_case_x_bad.out | 8 +- test_regress/t/t_case_zx_bad.out | 4 +- test_regress/t/t_cdc_async_bad.out | 12 +- test_regress/t/t_class_unsup_bad.out | 36 ++--- test_regress/t/t_clk_first_bad.out | 4 +- test_regress/t/t_clk_scope_bad.out | 4 +- test_regress/t/t_concat_large_bad.out | 4 +- test_regress/t/t_concat_link_bad.out | 16 +- test_regress/t/t_const_bad.out | 12 +- test_regress/t/t_const_dec_mixed_bad.out | 4 +- test_regress/t/t_const_overflow_bad.out | 20 +-- test_regress/t/t_delay_stmtdly_bad.out | 16 +- test_regress/t/t_display_bad.out | 8 +- test_regress/t/t_display_esc_bad.out | 4 +- test_regress/t/t_dpi_2exp_bad.out | 4 +- test_regress/t/t_dpi_dup_bad.out | 8 +- test_regress/t/t_dpi_exp_bad.out | 4 +- test_regress/t/t_dpi_logic_bad.out | 4 +- test_regress/t/t_dpi_name_bad.out | 4 +- test_regress/t/t_dynarray_bad.out | 4 +- test_regress/t/t_enum_bad_hide.out | 8 +- test_regress/t/t_enum_overlap_bad.out | 8 +- test_regress/t/t_enum_recurse_bad.out | 12 +- test_regress/t/t_enum_type_methods_bad.out | 4 +- test_regress/t/t_enum_x_bad.out | 8 +- test_regress/t/t_flag_errorlimit_bad.out | 16 +- test_regress/t/t_flag_topmodule_bad.out | 12 +- test_regress/t/t_flag_werror_bad1.out | 4 +- test_regress/t/t_flag_werror_bad2.out | 4 +- test_regress/t/t_flag_wfatal.out | 4 +- test_regress/t/t_flag_wpedantic_bad.out | 4 +- test_regress/t/t_for_comma_bad.out | 36 ++--- test_regress/t/t_func_bad.out | 28 ++-- test_regress/t/t_func_bad2.out | 4 +- test_regress/t/t_func_bad_width.out | 8 +- test_regress/t/t_func_const2_bad.out | 4 +- test_regress/t/t_func_const3_bad.out | 4 +- test_regress/t/t_func_const_bad.out | 24 +-- .../t/t_func_const_packed_array_bad.out | 4 +- .../t/t_func_const_packed_struct_bad.out | 4 +- .../t/t_func_const_packed_struct_bad2.out | 4 +- test_regress/t/t_func_const_struct_bad.out | 4 +- test_regress/t/t_func_task_bad.out | 4 +- test_regress/t/t_func_tie_bad.out | 4 +- test_regress/t/t_func_void_bad.out | 4 +- test_regress/t/t_func_wide_out_bad.out | 4 +- test_regress/t/t_fuzz_always_bad.out | 12 +- test_regress/t/t_fuzz_eqne_bad.out | 4 +- test_regress/t/t_fuzz_genintf_bad.out | 8 +- test_regress/t/t_fuzz_negwidth_bad.out | 4 +- test_regress/t/t_fuzz_triand_bad.out | 8 +- test_regress/t/t_gen_cond_bitrange_bad.out | 16 +- test_regress/t/t_gen_missing_bad.out | 4 +- test_regress/t/t_gen_var_bad.out | 4 +- test_regress/t/t_generate_fatal_bad.out | 48 +++--- test_regress/t/t_genvar_for_bad.out | 4 +- test_regress/t/t_hierarchy_identifier_bad.out | 20 +-- test_regress/t/t_initial_dlyass_bad.out | 8 +- test_regress/t/t_inst_array_bad.out | 4 +- test_regress/t/t_inst_long_bad.out | 4 +- test_regress/t/t_inst_misarray_bad.out | 4 +- test_regress/t/t_inst_missing_bad.out | 12 +- test_regress/t/t_inst_overwide_bad.out | 16 +- test_regress/t/t_inst_recurse2_bad.out | 4 +- test_regress/t/t_inst_recurse_bad.out | 4 +- test_regress/t/t_interface_array_bad.out | 8 +- .../t/t_interface_array_nocolon_bad.out | 16 +- test_regress/t/t_interface_asvar_bad.out | 8 +- test_regress/t/t_interface_mismodport_bad.out | 4 +- test_regress/t/t_interface_missing_bad.out | 12 +- test_regress/t/t_interface_modport_bad.out | 4 +- test_regress/t/t_interface_param_acc_bits.out | 4 +- .../t/t_interface_param_another_bad.out | 4 +- test_regress/t/t_interface_size_bad.out | 8 +- test_regress/t/t_interface_top_bad.out | 8 +- test_regress/t/t_interface_typo_bad.out | 12 +- test_regress/t/t_interface_wrong_bad.out | 4 +- test_regress/t/t_lint_always_comb_bad.out | 16 +- test_regress/t/t_lint_blksync_bad.out | 8 +- test_regress/t/t_lint_bsspace_bad.out | 8 +- test_regress/t/t_lint_colonplus_bad.out | 4 +- test_regress/t/t_lint_comb_bad.out | 4 +- test_regress/t/t_lint_declfilename_bad.out | 4 +- test_regress/t/t_lint_defparam_bad.out | 4 +- test_regress/t/t_lint_ifdepth_bad.out | 4 +- test_regress/t/t_lint_implicit_bad.out | 16 +- test_regress/t/t_lint_implicit_def_bad.out | 8 +- test_regress/t/t_lint_import_name_bad.out | 4 +- test_regress/t/t_lint_importstar_bad.out | 4 +- test_regress/t/t_lint_in_inc_bad.out | 4 +- test_regress/t/t_lint_incabspath_bad.out | 4 +- test_regress/t/t_lint_infinite.out | 8 +- test_regress/t/t_lint_input_eq_bad.out | 4 +- test_regress/t/t_lint_latch_bad.out | 4 +- test_regress/t/t_lint_literal_bad.out | 4 +- test_regress/t/t_lint_mod_paren_bad.out | 4 +- test_regress/t/t_lint_modport_dir_bad.out | 4 +- test_regress/t/t_lint_multidriven_bad.out | 16 +- test_regress/t/t_lint_once_bad.out | 8 +- test_regress/t/t_lint_pindup_bad.out | 36 ++--- test_regress/t/t_lint_pkg_colon_bad.out | 8 +- test_regress/t/t_lint_realcvt_bad.out | 4 +- test_regress/t/t_lint_repeat_bad.out | 4 +- test_regress/t/t_lint_restore_bad.out | 4 +- test_regress/t/t_lint_rsvd_bad.out | 12 +- test_regress/t/t_lint_setout_bad.out | 4 +- test_regress/t/t_lint_setout_bad_noinl.out | 4 +- test_regress/t/t_lint_subout_bad.out | 12 +- test_regress/t/t_lint_syncasyncnet_bad.out | 8 +- test_regress/t/t_lint_unsized_bad.out | 4 +- test_regress/t/t_lint_unused_bad.out | 24 +-- test_regress/t/t_lint_unused_iface_bad.out | 8 +- test_regress/t/t_lint_vcmarker_bad.out | 12 +- test_regress/t/t_lint_width_bad.out | 40 ++--- test_regress/t/t_lint_width_genfor_bad.out | 20 +-- test_regress/t/t_math_shift_over_bad.out | 4 +- test_regress/t/t_math_shortreal_unsup_bad.out | 4 +- test_regress/t/t_mem_multi_ref_bad.out | 36 ++--- test_regress/t/t_mem_packed_bad.out | 4 +- test_regress/t/t_mem_slice_bad.out | 24 +-- test_regress/t/t_mem_slice_dtype_bad.out | 4 +- test_regress/t/t_metacmt_onoff.out | 8 +- test_regress/t/t_mod_dup_bad.out | 16 +- test_regress/t/t_mod_interface_array3.out | 8 +- test_regress/t/t_multitop_sig_bad.out | 12 +- test_regress/t/t_number_bad.out | 12 +- test_regress/t/t_order_clkinst_bad.out | 28 ++-- test_regress/t/t_package_export_bad.out | 24 +-- test_regress/t/t_packed_concat_bad.out | 12 +- test_regress/t/t_param_circ_bad.out | 4 +- test_regress/t/t_param_concat_bad.out | 12 +- test_regress/t/t_param_default_bad.out | 4 +- test_regress/t/t_param_default_presv_bad.out | 4 +- test_regress/t/t_param_in_func_bad.out | 8 +- test_regress/t/t_param_noval_bad.out | 28 ++-- test_regress/t/t_param_scope_bad.out | 4 +- test_regress/t/t_param_sel_range_bad.out | 4 +- test_regress/t/t_param_type_bad.out | 4 +- test_regress/t/t_param_type_bad2.out | 8 +- test_regress/t/t_param_up_bad.out | 4 +- test_regress/t/t_past_bad.out | 8 +- test_regress/t/t_past_unsup_bad.out | 4 +- test_regress/t/t_pp_defparen_bad.out | 8 +- test_regress/t/t_pp_line_bad.out | 14 +- test_regress/t/t_pp_misdef_bad.out | 8 +- test_regress/t/t_pp_pragma_bad.out | 4 +- test_regress/t/t_pp_resetall_bad.out | 4 +- test_regress/t/t_pp_underline_bad.out | 8 +- test_regress/t/t_preproc_inc_bad.out | 4 +- test_regress/t/t_preproc_inc_notfound_bad.out | 4 +- test_regress/t/t_preproc_inc_recurse_bad.out | 4 +- test_regress/t/t_prot_lib_inout_bad.out | 4 +- test_regress/t/t_prot_lib_unpacked_bad.out | 8 +- test_regress/t/t_queue_unsup_bad.out | 60 ++++---- test_regress/t/t_select_bad_msb.out | 8 +- test_regress/t/t_select_bad_range.out | 8 +- test_regress/t/t_select_bad_range2.out | 4 +- test_regress/t/t_select_bad_range3.out | 4 +- test_regress/t/t_select_bad_tri.out | 4 +- test_regress/t/t_split_var_1_bad.out | 68 ++++----- test_regress/t/t_string_type_methods_bad.out | 12 +- test_regress/t/t_struct_init_bad.out | 4 +- test_regress/t/t_struct_notfound_bad.out | 4 +- test_regress/t/t_struct_unpacked_bad.out | 4 +- test_regress/t/t_sys_readmem_assoc_bad.out | 8 +- test_regress/t/t_tri_compass_bad.out | 4 +- test_regress/t/t_tri_pull2_bad.out | 8 +- test_regress/t/t_tri_pull_bad.out | 8 +- test_regress/t/t_tri_pullvec_bad.out | 16 +- test_regress/t/t_typedef_circ_bad.out | 4 +- test_regress/t/t_typedef_unused_bad.out | 4 +- test_regress/t/t_udp_bad.out | 4 +- test_regress/t/t_unopt_combo_bad.out | 4 +- test_regress/t/t_unopt_converge_unopt_bad.out | 4 +- test_regress/t/t_unoptflat_simple_2_bad.out | 4 +- test_regress/t/t_unpacked_concat_bad.out | 20 +-- test_regress/t/t_var_bad_hide.out | 16 +- test_regress/t/t_var_bad_hide2.out | 8 +- test_regress/t/t_var_bad_sameas.out | 40 ++--- test_regress/t/t_var_bad_sv.out | 12 +- test_regress/t/t_var_const_bad.out | 4 +- test_regress/t/t_var_dotted_dup_bad.out | 8 +- test_regress/t/t_var_dup2_bad.out | 16 +- test_regress/t/t_var_dup_bad.out | 140 +++++++++--------- test_regress/t/t_var_in_assign_bad.out | 8 +- test_regress/t/t_var_notfound_bad.out | 24 +-- test_regress/t/t_var_port2_bad.out | 8 +- test_regress/t/t_var_port_bad.out | 4 +- test_regress/t/t_var_ref_bad1.out | 4 +- test_regress/t/t_var_ref_bad2.out | 8 +- test_regress/t/t_var_ref_bad3.out | 4 +- test_regress/t/t_var_rsvd_bad.out | 8 +- test_regress/t/t_var_suggest_bad.out | 8 +- test_regress/t/t_var_types_bad.out | 36 ++--- test_regress/t/t_vlt_syntax_bad.out | 8 +- test_regress/t/t_vlt_warn_bad.out | 8 +- test_regress/t/t_wire_beh1364_bad.out | 20 +-- test_regress/t/t_wire_beh1800_bad.out | 20 +-- test_regress/t/t_wire_behp1364_bad.out | 12 +- test_regress/t/t_wire_behp1800_bad.out | 12 +- 214 files changed, 1125 insertions(+), 1116 deletions(-) diff --git a/Changes b/Changes index 626a9f11f..64a1e0612 100644 --- a/Changes +++ b/Changes @@ -7,6 +7,8 @@ The contributors that suggested a given feature are shown in []. Thanks! *** Add column numbers to errors and warnings. +*** Add GCC10-style line number prefix when showing source text for errors. + *** Add setting VM_PARALLEL_BUILDS=1 when using --output-split, #2185. *** Change --quiet-exit to also suppress 'Exiting due to N errors'. diff --git a/bin/verilator b/bin/verilator index 527cba171..68c42e97e 100755 --- a/bin/verilator +++ b/bin/verilator @@ -3937,6 +3937,11 @@ Digital Equipment Corporation). Some errors or warning have a code attached, with meanings described below. Some errors also have a filename, line number and optional column number (starting at column 1 to match GCC). +Following an the error message, Verilator will typically show the user's +source code corresponding to the error, prefixed by the line number and a " +| ". Following this is typically an arrow and ~ pointing at the error on +the source line directly above. + =head2 List of all warnings =over 4 diff --git a/src/V3FileLine.cpp b/src/V3FileLine.cpp index 031384223..e06a9b727 100644 --- a/src/V3FileLine.cpp +++ b/src/V3FileLine.cpp @@ -373,7 +373,8 @@ string FileLine::warnOther() const { string FileLine::source() const { if (VL_UNCOVERABLE(!m_contentp)) { if (debug() || v3Global.opt.debugCheck()) { - return "%Error: internal tracking of file contents failed"; + // The newline here is to work around the " | " + return "\n%Error: internal tracking of file contents failed"; } else { return ""; } @@ -393,18 +394,21 @@ string FileLine::warnContext(bool secondary) const { V3Error::errorContexted(true); if (!v3Global.opt.context()) return ""; string out = ""; - if (firstLineno()==lastLineno() && firstColumn()) { + if (firstLineno() == lastLineno() && firstColumn()) { string sourceLine = prettySource(); // Don't show super-long lines as can fill screen and unlikely to help user - if (!sourceLine.empty() - && sourceLine.length() < SHOW_SOURCE_MAX_LENGTH - && sourceLine.length() >= (size_t)(lastColumn()-1)) { - out += sourceLine+"\n"; - out += string((firstColumn()-1), ' ')+'^'; + if (!sourceLine.empty() && sourceLine.length() < SHOW_SOURCE_MAX_LENGTH + && sourceLine.length() >= static_cast(lastColumn() - 1)) { + string linestr = cvtToStr(firstLineno()); + while (linestr.size() < 5) + linestr = ' ' + linestr; + out += linestr + " | " + sourceLine + "\n"; + out += std::string(linestr.size(), ' ') + " | "; + out += string((firstColumn() - 1), ' ') + '^'; // Can't use UASSERT_OBJ used in warnings already inside the error end handler if (lastColumn() > firstColumn()) { // Note lastColumn() can be <= firstColumn() in some weird preproc expansions - out += string((lastColumn()-firstColumn()-1), '~'); + out += string((lastColumn() - firstColumn() - 1), '~'); } out += "\n"; } @@ -412,8 +416,8 @@ string FileLine::warnContext(bool secondary) const { if (!secondary) { // Avoid printing long paths on informational part of error for (FileLine* parentFl = parent(); parentFl; parentFl = parentFl->parent()) { if (parentFl->filenameIsGlobal()) break; - out += parentFl->warnOther()+"... note: In file included from " - +parentFl->filebasename()+"\n"; + out += parentFl->warnOther() + "... note: In file included from " + + parentFl->filebasename() + "\n"; } } return out; diff --git a/test_regress/t/t_array_backw_index_bad.out b/test_regress/t/t_array_backw_index_bad.out index 913f217cc..65c2aee38 100644 --- a/test_regress/t/t_array_backw_index_bad.out +++ b/test_regress/t/t_array_backw_index_bad.out @@ -1,21 +1,21 @@ %Error: t/t_array_backw_index_bad.v:14:19: Slice selection '[1:3]' has backward indexing versus data type's '[3:0]' : ... In instance t - array_assign[1:3] = '{32'd4, 32'd3, 32'd2}; - ^ + 14 | array_assign[1:3] = '{32'd4, 32'd3, 32'd2}; + | ^ %Error: t/t_array_backw_index_bad.v:15:20: Slice selection '[3:1]' has backward indexing versus data type's '[0:3]' : ... In instance t - larray_assign[3:1] = '{32'd4, 32'd3, 32'd2}; - ^ + 15 | larray_assign[3:1] = '{32'd4, 32'd3, 32'd2}; + | ^ %Error: t/t_array_backw_index_bad.v:17:19: Slice selection index '[4:3]' outside data type's '[3:0]' : ... In instance t - array_assign[4:3] = '{32'd4, 32'd3}; - ^ + 17 | array_assign[4:3] = '{32'd4, 32'd3}; + | ^ %Error: t/t_array_backw_index_bad.v:18:19: Slice selection index '[1:-1]' outside data type's '[3:0]' : ... In instance t - array_assign[1:-1] = '{32'd4, 32'd3}; - ^ + 18 | array_assign[1:-1] = '{32'd4, 32'd3}; + | ^ %Error: t/t_array_backw_index_bad.v:18:28: Assignment pattern missed initializing elements: -1 : ... In instance t - array_assign[1:-1] = '{32'd4, 32'd3}; - ^~ + 18 | array_assign[1:-1] = '{32'd4, 32'd3}; + | ^~ %Error: Exiting due to diff --git a/test_regress/t/t_array_list_bad.out b/test_regress/t/t_array_list_bad.out index 15ce5475b..45f539258 100644 --- a/test_regress/t/t_array_list_bad.out +++ b/test_regress/t/t_array_list_bad.out @@ -1,10 +1,10 @@ %Error: t/t_array_list_bad.v:38:25: Assignment pattern missed initializing elements: MEMBERDTYPE 't3' : ... In instance t - test_out <= '{'0, '0}; - ^~ + 38 | test_out <= '{'0, '0}; + | ^~ %Warning-WIDTH: t/t_array_list_bad.v:38:22: Operator ASSIGNDLY expects 3 bits on the Assign RHS, but Assign RHS's CONCAT generates 2 bits. : ... In instance t - test_out <= '{'0, '0}; - ^~ + 38 | test_out <= '{'0, '0}; + | ^~ ... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_array_pattern_bad.out b/test_regress/t/t_array_pattern_bad.out index f3d450c01..957b1715e 100644 --- a/test_regress/t/t_array_pattern_bad.out +++ b/test_regress/t/t_array_pattern_bad.out @@ -1,5 +1,5 @@ %Error: t/t_array_pattern_bad.v:24:18: Assignment pattern key 'valids' not found as member : ... In instance t - valids: '1}; - ^~~~~~ + 24 | valids: '1}; + | ^~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_assert_comp_bad.out b/test_regress/t/t_assert_comp_bad.out index bb8f05b67..9906f8e57 100644 --- a/test_regress/t/t_assert_comp_bad.out +++ b/test_regress/t/t_assert_comp_bad.out @@ -1,18 +1,18 @@ -Info: t/t_assert_comp_bad.v:10:7: User compile-time info : ... In instance t - $info("User compile-time info"); - ^~~~~ + 10 | $info("User compile-time info"); + | ^~~~~ %Warning-USERWARN: t/t_assert_comp_bad.v:11:7: User compile-time warning : ... In instance t - $warning("User compile-time warning"); - ^~~~~~~~ + 11 | $warning("User compile-time warning"); + | ^~~~~~~~ ... Use "/* verilator lint_off USERWARN */" and lint_on around source to disable this message. %Warning-USERWARN: t/t_assert_comp_bad.v:12:7: 1 : ... In instance t - $warning(1); - ^~~~~~~~ + 12 | $warning(1); + | ^~~~~~~~ %Warning-USERERROR: t/t_assert_comp_bad.v:13:7: User compile-time error : ... In instance t - $error("User compile-time error"); - ^~~~~~ + 13 | $error("User compile-time error"); + | ^~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_assert_dup_bad.out b/test_regress/t/t_assert_dup_bad.out index 50052662e..8357b40ac 100644 --- a/test_regress/t/t_assert_dup_bad.out +++ b/test_regress/t/t_assert_dup_bad.out @@ -1,7 +1,7 @@ %Error: t/t_assert_dup_bad.v:17:4: Duplicate declaration of block: 'covlabel' - covlabel: - ^~~~~~~~ + 17 | covlabel: + | ^~~~~~~~ t/t_assert_dup_bad.v:15:4: ... Location of original declaration - covlabel: - ^~~~~~~~ + 15 | covlabel: + | ^~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_assoc_meth_bad.out b/test_regress/t/t_assoc_meth_bad.out index a41e10613..6b3d75789 100644 --- a/test_regress/t/t_assoc_meth_bad.out +++ b/test_regress/t/t_assoc_meth_bad.out @@ -1,37 +1,37 @@ %Error: t/t_assoc_meth_bad.v:14:13: The 1 arguments passed to .num method does not match its requiring 0 arguments : ... In instance t - v = a.num("badarg"); - ^~~ + 14 | v = a.num("badarg"); + | ^~~ %Error: t/t_assoc_meth_bad.v:15:13: The 1 arguments passed to .size method does not match its requiring 0 arguments : ... In instance t - v = a.size("badarg"); - ^~~~ + 15 | v = a.size("badarg"); + | ^~~~ %Error: t/t_assoc_meth_bad.v:16:13: The 0 arguments passed to .exists method does not match its requiring 1 arguments : ... In instance t - v = a.exists(); - ^~~~~~ + 16 | v = a.exists(); + | ^~~~~~ %Error: t/t_assoc_meth_bad.v:17:13: The 2 arguments passed to .exists method does not match its requiring 1 arguments : ... In instance t - v = a.exists(k, "bad2"); - ^~~~~~ + 17 | v = a.exists(k, "bad2"); + | ^~~~~~ %Error: t/t_assoc_meth_bad.v:18:13: The 0 arguments passed to .first method does not match its requiring 1 arguments : ... In instance t - v = a.first(); - ^~~~~ + 18 | v = a.first(); + | ^~~~~ %Error: t/t_assoc_meth_bad.v:19:13: The 2 arguments passed to .next method does not match its requiring 1 arguments : ... In instance t - v = a.next(k, "bad2"); - ^~~~ + 19 | v = a.next(k, "bad2"); + | ^~~~ %Error: t/t_assoc_meth_bad.v:20:13: The 0 arguments passed to .last method does not match its requiring 1 arguments : ... In instance t - v = a.last(); - ^~~~ + 20 | v = a.last(); + | ^~~~ %Error: t/t_assoc_meth_bad.v:21:13: The 2 arguments passed to .prev method does not match its requiring 1 arguments : ... In instance t - v = a.prev(k, "bad2"); - ^~~~ + 21 | v = a.prev(k, "bad2"); + | ^~~~ %Error: t/t_assoc_meth_bad.v:22:9: The 2 arguments passed to .delete method does not match its requiring 0 to 1 arguments : ... In instance t - a.delete(k, "bad2"); - ^~~~~~ + 22 | a.delete(k, "bad2"); + | ^~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_assoc_pattern_unsup.out b/test_regress/t/t_assoc_pattern_unsup.out index 7bef77c17..6df0d8f82 100644 --- a/test_regress/t/t_assoc_pattern_unsup.out +++ b/test_regress/t/t_assoc_pattern_unsup.out @@ -1,5 +1,5 @@ %Error: t/t_assoc_pattern_unsup.v:19:11: Unsupported: Assignment pattern applies against non struct/union data type: 'string[string]' : ... In instance t - a = '{ "f": "fooed", "b": "bared", default: "defaulted" }; - ^~ + 19 | a = '{ "f": "fooed", "b": "bared", default: "defaulted" }; + | ^~ %Error: Exiting due to diff --git a/test_regress/t/t_bitsel_const_bad.out b/test_regress/t/t_bitsel_const_bad.out index 94ab078cd..767882eeb 100644 --- a/test_regress/t/t_bitsel_const_bad.out +++ b/test_regress/t/t_bitsel_const_bad.out @@ -1,5 +1,5 @@ %Error: t/t_bitsel_const_bad.v:21:16: Illegal bit or array select; type does not have a bit range, or bad dimension: data type is 'logic' : ... In instance t - assign a = b[0]; - ^ + 21 | assign a = b[0]; + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_bitsel_wire_array_bad.out b/test_regress/t/t_bitsel_wire_array_bad.out index 2da3e4389..d256eef7d 100644 --- a/test_regress/t/t_bitsel_wire_array_bad.out +++ b/test_regress/t/t_bitsel_wire_array_bad.out @@ -1,5 +1,5 @@ %Error: t/t_bitsel_wire_array_bad.v:21:16: Illegal assignment of constant to unpacked array : ... In instance t - assign b = a[0]; - ^ + 21 | assign b = a[0]; + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_case_default_bad.out b/test_regress/t/t_case_default_bad.out index 5d65b17c5..49b92c1ea 100644 --- a/test_regress/t/t_case_default_bad.out +++ b/test_regress/t/t_case_default_bad.out @@ -1,4 +1,4 @@ %Error: t/t_case_default_bad.v:16:9: Multiple default statements in case statement. - default: $stop; - ^~~~~~~ + 16 | default: $stop; + | ^~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_case_genx_bad.out b/test_regress/t/t_case_genx_bad.out index 8ca882c2f..abdb81e62 100644 --- a/test_regress/t/t_case_genx_bad.out +++ b/test_regress/t/t_case_genx_bad.out @@ -1,5 +1,5 @@ %Error: t/t_case_genx_bad.v:14:9: Use of x/? constant in generate case statement, (no such thing as 'generate casez') : ... In instance t - 32'b1xxx: initial begin end - ^~~~~~~~ + 14 | 32'b1xxx: initial begin end + | ^~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_case_x_bad.out b/test_regress/t/t_case_x_bad.out index 18c24c965..db1e485fa 100644 --- a/test_regress/t/t_case_x_bad.out +++ b/test_regress/t/t_case_x_bad.out @@ -1,8 +1,8 @@ %Warning-CASEX: t/t_case_x_bad.v:14:7: Suggest casez (with ?'s) in place of casex (with X's) - casex (value) - ^~~~~ + 14 | casex (value) + | ^~~~~ ... Use "/* verilator lint_off CASEX */" and lint_on around source to disable this message. %Warning-CASEWITHX: t/t_case_x_bad.v:19:9: Use of x/? constant in case statement, (perhaps intended casex/casez) - 4'b1xxx: $stop; - ^~~~~~~ + 19 | 4'b1xxx: $stop; + | ^~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_case_zx_bad.out b/test_regress/t/t_case_zx_bad.out index 06f0f77ac..ca591019c 100644 --- a/test_regress/t/t_case_zx_bad.out +++ b/test_regress/t/t_case_zx_bad.out @@ -1,5 +1,5 @@ %Warning-CASEWITHX: t/t_case_zx_bad.v:16:9: Use of x constant in casez statement, (perhaps intended ?/z in constant) - 4'b1xxx: $stop; - ^~~~~~~ + 16 | 4'b1xxx: $stop; + | ^~~~~~~ ... Use "/* verilator lint_off CASEWITHX */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_cdc_async_bad.out b/test_regress/t/t_cdc_async_bad.out index 379121205..030217948 100644 --- a/test_regress/t/t_cdc_async_bad.out +++ b/test_regress/t/t_cdc_async_bad.out @@ -1,12 +1,12 @@ %Warning-CDCRSTLOGIC: t/t_cdc_async_bad.v:28:21: Logic in path that feeds async reset, via signal: 't.rst2_bad_n' - wire rst2_bad_n = rst0_n | rst1_n; - ^ + 28 | wire rst2_bad_n = rst0_n | rst1_n; + | ^ ... Use "/* verilator lint_off CDCRSTLOGIC */" and lint_on around source to disable this message. %Warning-CDCRSTLOGIC: See details in obj_vlt/t_cdc_async_bad/Vt_cdc_async_bad__cdc.txt %Warning-CDCRSTLOGIC: t/t_cdc_async_bad.v:53:21: Logic in path that feeds async reset, via signal: 't.rst6a_bad_n' - wire rst6a_bad_n = rst6_bad_n ^ $c1("0"); - ^ + 53 | wire rst6a_bad_n = rst6_bad_n ^ $c1("0"); + | ^ %Warning-CDCRSTLOGIC: t/t_cdc_async_bad.v:54:21: Logic in path that feeds async reset, via signal: 't.rst6b_bad_n' - wire rst6b_bad_n = rst6_bad_n ^ $c1("1"); - ^ + 54 | wire rst6b_bad_n = rst6_bad_n ^ $c1("1"); + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_class_unsup_bad.out b/test_regress/t/t_class_unsup_bad.out index 3177667d5..1bc20487b 100644 --- a/test_regress/t/t_class_unsup_bad.out +++ b/test_regress/t/t_class_unsup_bad.out @@ -1,28 +1,28 @@ %Error: t/t_class_unsup_bad.v:7:1: Unsupported: virtual interface -virtual interface vi_t vi; -^~~~~~~ + 7 | virtual interface vi_t vi; + | ^~~~~~~ %Error: t/t_class_unsup_bad.v:8:1: Unsupported: virtual data type -virtual vi_t vi2; -^~~~~~~ + 8 | virtual vi_t vi2; + | ^~~~~~~ %Error: t/t_class_unsup_bad.v:13:1: Unsupported: classes -class C #(parameter P=1); -^~~~~ + 13 | class C #(parameter P=1); + | ^~~~~ %Error: t/t_class_unsup_bad.v:14:26: Unsupported: class parameters - localparam LOCPAR = 10; - ^ + 14 | localparam LOCPAR = 10; + | ^ %Error: t/t_class_unsup_bad.v:25:4: Unsupported: virtual class member qualifier - virtual function void func_virtual; endfunction - ^~~~~~~ + 25 | virtual function void func_virtual; endfunction + | ^~~~~~~ %Error: t/t_class_unsup_bad.v:26:4: Unsupported: pure virtual class method - pure virtual function void func_pure_virtual; endfunction - ^~~~ + 26 | pure virtual function void func_pure_virtual; endfunction + | ^~~~ %Error: t/t_class_unsup_bad.v:26:50: syntax error, unexpected endfunction - pure virtual function void func_pure_virtual; endfunction - ^~~~~~~~~~~ + 26 | pure virtual function void func_pure_virtual; endfunction + | ^~~~~~~~~~~ %Error: t/t_class_unsup_bad.v:32:1: Unsupported: virtual classes -virtual class VC; -^~~~~~~ + 32 | virtual class VC; + | ^~~~~~~ %Error: t/t_class_unsup_bad.v:32:9: Unsupported: classes -virtual class VC; - ^~~~~ + 32 | virtual class VC; + | ^~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_clk_first_bad.out b/test_regress/t/t_clk_first_bad.out index 2a58e9bff..a640ff6c4 100644 --- a/test_regress/t/t_clk_first_bad.out +++ b/test_regress/t/t_clk_first_bad.out @@ -1,5 +1,5 @@ %Warning-DEPRECATED: t/t_clk_first_deprecated.v:12:14: sc_clock is deprecated and will be removed - input clk /*verilator sc_clock*/ ; - ^~~~~~~~~~~~~~~~~~~~~~ + 12 | input clk /*verilator sc_clock*/ ; + | ^~~~~~~~~~~~~~~~~~~~~~ ... Use "/* verilator lint_off DEPRECATED */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_clk_scope_bad.out b/test_regress/t/t_clk_scope_bad.out index 6a3ac29f0..bec10941c 100644 --- a/test_regress/t/t_clk_scope_bad.out +++ b/test_regress/t/t_clk_scope_bad.out @@ -1,6 +1,6 @@ %Warning-CLKDATA: t/t_clk_scope_bad.v:36:12: Clock used as data (on rhs of assignment) in sequential block 'clk' : ... In instance t.p2 - q <= d; - ^ + 36 | q <= d; + | ^ ... Use "/* verilator lint_off CLKDATA */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_concat_large_bad.out b/test_regress/t/t_concat_large_bad.out index 8e1d1449e..a4afc3552 100644 --- a/test_regress/t/t_concat_large_bad.out +++ b/test_regress/t/t_concat_large_bad.out @@ -1,6 +1,6 @@ %Warning-WIDTHCONCAT: t/t_concat_large_bad.v:9:29: More than a 8k bit replication is probably wrong: 32768 : ... In instance t - wire [32767:0] a = {32768{1'b1}}; - ^ + 9 | wire [32767:0] a = {32768{1'b1}}; + | ^ ... Use "/* verilator lint_off WIDTHCONCAT */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_concat_link_bad.out b/test_regress/t/t_concat_link_bad.out index d209909f0..6760aa004 100644 --- a/test_regress/t/t_concat_link_bad.out +++ b/test_regress/t/t_concat_link_bad.out @@ -1,14 +1,14 @@ %Error: t/t_concat_link_bad.v:13:20: Syntax Error: Not expecting REPLICATE under a DOT in dotted expression - assign bar_s = {foo_s, foo_s}.f1; - ^ + 13 | assign bar_s = {foo_s, foo_s}.f1; + | ^ %Error: t/t_concat_link_bad.v:13:26: Syntax Error: Not expecting CONCAT under a REPLICATE in dotted expression - assign bar_s = {foo_s, foo_s}.f1; - ^ + 13 | assign bar_s = {foo_s, foo_s}.f1; + | ^ %Error: t/t_concat_link_bad.v:13:20: Syntax Error: Not expecting CONST under a REPLICATE in dotted expression - assign bar_s = {foo_s, foo_s}.f1; - ^ + 13 | assign bar_s = {foo_s, foo_s}.f1; + | ^ %Warning-IMPLICIT: t/t_concat_link_bad.v:13:12: Signal definition not found, creating implicitly: 'bar_s' - assign bar_s = {foo_s, foo_s}.f1; - ^~~~~ + 13 | assign bar_s = {foo_s, foo_s}.f1; + | ^~~~~ ... Use "/* verilator lint_off IMPLICIT */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_const_bad.out b/test_regress/t/t_const_bad.out index 8a77e8c19..6594d207b 100644 --- a/test_regress/t/t_const_bad.out +++ b/test_regress/t/t_const_bad.out @@ -1,14 +1,14 @@ %Warning-WIDTH: t/t_const_bad.v:13:39: Unsized constant being X/Z extended to 68 bits: ?32?bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx : ... In instance t - if (68'hx_xxxxxxxx_xxxxxxxx !== 'dX) $stop; - ^~~ + 13 | if (68'hx_xxxxxxxx_xxxxxxxx !== 'dX) $stop; + | ^~~ ... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message. %Warning-WIDTH: t/t_const_bad.v:14:39: Unsized constant being X/Z extended to 68 bits: ?32?bzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzz : ... In instance t - if (68'hz_zzzzzzzz_zzzzzzzz !== 'dZ) $stop; - ^~~ + 14 | if (68'hz_zzzzzzzz_zzzzzzzz !== 'dZ) $stop; + | ^~~ %Warning-WIDTH: t/t_const_bad.v:15:39: Unsized constant being X/Z extended to 68 bits: ?32?bzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzz : ... In instance t - if (68'h?_????????_???????? !== 'd?) $stop; - ^~~ + 15 | if (68'h?_????????_???????? !== 'd?) $stop; + | ^~~ %Error: Exiting due to diff --git a/test_regress/t/t_const_dec_mixed_bad.out b/test_regress/t/t_const_dec_mixed_bad.out index c564f44c5..eac803545 100644 --- a/test_regress/t/t_const_dec_mixed_bad.out +++ b/test_regress/t/t_const_dec_mixed_bad.out @@ -1,4 +1,4 @@ %Error: t/t_const_dec_mixed_bad.v:9:30: Mixing X/Z/? with digits not legal in decimal constant: x_1 - parameter [200:0] MIXED = 32'dx_1; - ^~~~~~~ + 9 | parameter [200:0] MIXED = 32'dx_1; + | ^~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_const_overflow_bad.out b/test_regress/t/t_const_overflow_bad.out index 32312359f..641cd071d 100644 --- a/test_regress/t/t_const_overflow_bad.out +++ b/test_regress/t/t_const_overflow_bad.out @@ -1,16 +1,16 @@ %Error: t/t_const_overflow_bad.v:9:34: Too many digits for 94 bit number: 94'd123456789012345678901234567890 - parameter [200:0] TOO_SMALL = 94'd123456789012345678901234567890; - ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ + 9 | parameter [200:0] TOO_SMALL = 94'd123456789012345678901234567890; + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ %Error: t/t_const_overflow_bad.v:11:31: Too many digits for 8 bit number: 8'habc - parameter [200:0] SMALLH = 8'habc; - ^~~~~~ + 11 | parameter [200:0] SMALLH = 8'habc; + | ^~~~~~ %Error: t/t_const_overflow_bad.v:12:31: Too many digits for 6 bit number: 6'o1234 - parameter [200:0] SMALLO = 6'o1234; - ^~~~~~~ + 12 | parameter [200:0] SMALLO = 6'o1234; + | ^~~~~~~ %Error: t/t_const_overflow_bad.v:13:31: Too many digits for 3 bit number: 3'b1111 - parameter [200:0] SMALLB = 3'b1111; - ^~~~~~~ + 13 | parameter [200:0] SMALLB = 3'b1111; + | ^~~~~~~ %Error: t/t_const_overflow_bad.v:19:35: Too many digits for 129 bit number: 129'hdeadbeefc001f00ddeadbeefc001f00ddeadbeefc001f00ddeadbeefc001f00d - parameter [128:0] ALSO_SMALL = 129'hdeadbeefc001f00ddeadbeefc001f00ddeadbeefc001f00ddeadbeefc001f00d; - ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ + 19 | parameter [128:0] ALSO_SMALL = 129'hdeadbeefc001f00ddeadbeefc001f00ddeadbeefc001f00ddeadbeefc001f00d; + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_delay_stmtdly_bad.out b/test_regress/t/t_delay_stmtdly_bad.out index 40b6409b1..5e1f99423 100644 --- a/test_regress/t/t_delay_stmtdly_bad.out +++ b/test_regress/t/t_delay_stmtdly_bad.out @@ -1,14 +1,14 @@ %Warning-ASSIGNDLY: t/t_delay.v:20:11: Unsupported: Ignoring delay on this assignment/primitive. - assign #(1.2000000000000000) dly1 = dly0 + 32'h1; - ^ + 20 | assign #(1.2000000000000000) dly1 = dly0 + 32'h1; + | ^ ... Use "/* verilator lint_off ASSIGNDLY */" and lint_on around source to disable this message. %Warning-ASSIGNDLY: t/t_delay.v:25:18: Unsupported: Ignoring delay on this assignment/primitive. - dly0 <= #0 32'h11; - ^ + 25 | dly0 <= #0 32'h11; + | ^ %Warning-ASSIGNDLY: t/t_delay.v:28:18: Unsupported: Ignoring delay on this assignment/primitive. - dly0 <= #0.12 dly0 + 32'h12; - ^ + 28 | dly0 <= #0.12 dly0 + 32'h12; + | ^ %Warning-STMTDLY: t/t_delay.v:34:10: Unsupported: Ignoring delay on this delayed statement. - #100 $finish; - ^ + 34 | #100 $finish; + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_display_bad.out b/test_regress/t/t_display_bad.out index 179a869ad..615589bd4 100644 --- a/test_regress/t/t_display_bad.out +++ b/test_regress/t/t_display_bad.out @@ -1,7 +1,7 @@ %Error: t/t_display_bad.v:11:7: Missing arguments for $display-like format - $display("%x"); - ^~~~~~~~ + 11 | $display("%x"); + | ^~~~~~~~ %Error: t/t_display_bad.v:13:7: Unknown $display-like format code: '%q' - $display("%q"); - ^~~~~~~~ + 13 | $display("%q"); + | ^~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_display_esc_bad.out b/test_regress/t/t_display_esc_bad.out index 61c837cf1..a2c68c232 100644 --- a/test_regress/t/t_display_esc_bad.out +++ b/test_regress/t/t_display_esc_bad.out @@ -1,4 +1,4 @@ %Error: t/t_display_esc_bad.v:9:16: Unknown escape sequence: \x - $display("\x\y\z"); - ^~~~~~~~ + 9 | $display("\x\y\z"); + | ^~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_dpi_2exp_bad.out b/test_regress/t/t_dpi_2exp_bad.out index 7f0c3fe71..9216f2be0 100644 --- a/test_regress/t/t_dpi_2exp_bad.out +++ b/test_regress/t/t_dpi_2exp_bad.out @@ -1,4 +1,4 @@ %Error: t/t_dpi_2exp_bad.v:12:45: Function was already DPI Exported, duplicate not allowed: 'dpix_twice' - export "DPI-C" dpix_t_int_renamed = task dpix_twice; - ^~~~~~~~~~ + 12 | export "DPI-C" dpix_t_int_renamed = task dpix_twice; + | ^~~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_dpi_dup_bad.out b/test_regress/t/t_dpi_dup_bad.out index 9b0585775..88cc02fe1 100644 --- a/test_regress/t/t_dpi_dup_bad.out +++ b/test_regress/t/t_dpi_dup_bad.out @@ -1,8 +1,8 @@ %Error: t/t_dpi_dup_bad.v:13:51: Duplicate declaration of DPI function with different formal arguments: 't.oth_f_int2' - import "DPI-C" pure dpii_fa_bit = function int oth_f_int2(input int i, input int bad); - ^~~~~~~~~~ + 13 | import "DPI-C" pure dpii_fa_bit = function int oth_f_int2(input int i, input int bad); + | ^~~~~~~~~~ : ... New prototype: pure int dpii_fa_bit (int, int) t/t_dpi_dup_bad.v:12:47: ... Original prototype: int dpii_fa_bit (int) - import "DPI-C" dpii_fa_bit = function int oth_f_int1(input int i); - ^~~~~~~~~~ + 12 | import "DPI-C" dpii_fa_bit = function int oth_f_int1(input int i); + | ^~~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_dpi_exp_bad.out b/test_regress/t/t_dpi_exp_bad.out index 20ee6cb43..4db2d6559 100644 --- a/test_regress/t/t_dpi_exp_bad.out +++ b/test_regress/t/t_dpi_exp_bad.out @@ -1,4 +1,4 @@ %Error: t/t_dpi_exp_bad.v:12:24: DPI functions cannot return > 32 bits or four-state; use a two-state type or task instead: 'dpix_f_bit48__Vfuncrtn' - function bit [47:0] dpix_f_bit48(bit [47:0] i); dpix_f_bit48 = ~i; endfunction - ^~~~~~~~~~~~ + 12 | function bit [47:0] dpix_f_bit48(bit [47:0] i); dpix_f_bit48 = ~i; endfunction + | ^~~~~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_dpi_logic_bad.out b/test_regress/t/t_dpi_logic_bad.out index 44b1f641b..b5ea2f431 100644 --- a/test_regress/t/t_dpi_logic_bad.out +++ b/test_regress/t/t_dpi_logic_bad.out @@ -1,4 +1,4 @@ %Error: t/t_dpi_logic_bad.v:12:54: DPI function may not return type BASICDTYPE 'logic' (IEEE 1800-2017 35.5.5) - import "DPI-C" dpii_fa_bit = function logic [2:0] oth_f_int1(input time i); - ^~~~~~~~~~ + 12 | import "DPI-C" dpii_fa_bit = function logic [2:0] oth_f_int1(input time i); + | ^~~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_dpi_name_bad.out b/test_regress/t/t_dpi_name_bad.out index f49125095..a061f6f78 100644 --- a/test_regress/t/t_dpi_name_bad.out +++ b/test_regress/t/t_dpi_name_bad.out @@ -1,4 +1,4 @@ %Error: t/t_dpi_name_bad.v:12:32: DPI function has illegal characters in C identifier name: 'badly.named' - import "DPI-C" function int \badly.named (int i); - ^~~~~~~~~~~~ + 12 | import "DPI-C" function int \badly.named (int i); + | ^~~~~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_dynarray_bad.out b/test_regress/t/t_dynarray_bad.out index 520d9c92a..7bb4e86b5 100644 --- a/test_regress/t/t_dynarray_bad.out +++ b/test_regress/t/t_dynarray_bad.out @@ -1,6 +1,6 @@ %Warning-WIDTH: t/t_dynarray_bad.v:15:11: Operator NEWDYNAMIC expects 32 bits on the new() size, but new() size's VARREF 's' generates 64 bits. : ... In instance t - a = new [s]; - ^~~ + 15 | a = new [s]; + | ^~~ ... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message. %Error: Internal Error: ../V3Number.cpp:#: Number operation called with non-logic (double or string) argument: '"str"" diff --git a/test_regress/t/t_enum_bad_hide.out b/test_regress/t/t_enum_bad_hide.out index 0ae3b52c9..27ce71294 100644 --- a/test_regress/t/t_enum_bad_hide.out +++ b/test_regress/t/t_enum_bad_hide.out @@ -1,8 +1,8 @@ %Warning-VARHIDDEN: t/t_enum_bad_hide.v:11:19: Declaration of enum value hides declaration in upper scope: HIDE_VALUE - typedef enum { HIDE_VALUE = 0 } hide_enum_t; - ^~~~~~~~~~ + 11 | typedef enum { HIDE_VALUE = 0 } hide_enum_t; + | ^~~~~~~~~~ t/t_enum_bad_hide.v:7:16: ... Location of original declaration - typedef enum { HIDE_VALUE = 0 } hide_enum_t; - ^~~~~~~~~~ + 11 | typedef enum { HIDE_VALUE = 0 } hide_enum_t; + | ^~~~~~~~~~ ... Use "/* verilator lint_off VARHIDDEN */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_enum_overlap_bad.out b/test_regress/t/t_enum_overlap_bad.out index af34d7e46..6e745c509 100644 --- a/test_regress/t/t_enum_overlap_bad.out +++ b/test_regress/t/t_enum_overlap_bad.out @@ -1,8 +1,8 @@ %Error: t/t_enum_overlap_bad.v:12:11: Overlapping enumeration value: 'e1b' : ... In instance t - e1b=1 - ^~~ + 12 | e1b=1 + | ^~~ t/t_enum_overlap_bad.v:10:11: ... Location of original declaration - e1, - ^~ + 10 | e1, + | ^~ %Error: Exiting due to diff --git a/test_regress/t/t_enum_recurse_bad.out b/test_regress/t/t_enum_recurse_bad.out index fdd0b17ac..3cc8a55d3 100644 --- a/test_regress/t/t_enum_recurse_bad.out +++ b/test_regress/t/t_enum_recurse_bad.out @@ -1,10 +1,10 @@ %Error: t/t_enum_recurse_bad.v:7:9: Recursive enum value: 'u' -enum {u=u} e_t; - ^ + 7 | enum {u=u} e_t; + | ^ %Error: t/t_enum_recurse_bad.v:7:9: Expecting expression to be constant, but variable isn't const: 'u' -enum {u=u} e_t; - ^ + 7 | enum {u=u} e_t; + | ^ %Error: t/t_enum_recurse_bad.v:7:9: Enum value isn't a constant -enum {u=u} e_t; - ^ + 7 | enum {u=u} e_t; + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_enum_type_methods_bad.out b/test_regress/t/t_enum_type_methods_bad.out index 05c59659c..7bcf19162 100644 --- a/test_regress/t/t_enum_type_methods_bad.out +++ b/test_regress/t/t_enum_type_methods_bad.out @@ -1,5 +1,5 @@ %Error: Internal Error: t/t_enum_type_methods_bad.v:24:14: ../V3Width.cpp:#: Unsupported: enum next/prev with non-const argument : ... In instance t - e.next(increment); - ^~~~~~~~~ + 24 | e.next(increment); + | ^~~~~~~~~ ... See the manual and https://verilator.org for more assistance. diff --git a/test_regress/t/t_enum_x_bad.out b/test_regress/t/t_enum_x_bad.out index 6af526d4e..360ee2f57 100644 --- a/test_regress/t/t_enum_x_bad.out +++ b/test_regress/t/t_enum_x_bad.out @@ -1,9 +1,9 @@ %Error: t/t_enum_x_bad.v:9:21: Enum value with X/Zs cannot be assigned to non-fourstate type (IEEE 1800-2017 6.19) : ... In instance t - enum bit [1:0] { BADX = 2'b1x } BAD1; - ^~~~ + 9 | enum bit [1:0] { BADX = 2'b1x } BAD1; + | ^~~~ %Error: t/t_enum_x_bad.v:12:23: Enum value that is unassigned cannot follow value with X/Zs (IEEE 1800-2017 6.19) : ... In instance t - e1 - ^~ + 12 | e1 + | ^~ %Error: Exiting due to diff --git a/test_regress/t/t_flag_errorlimit_bad.out b/test_regress/t/t_flag_errorlimit_bad.out index 0e7449530..13e32a4b7 100644 --- a/test_regress/t/t_flag_errorlimit_bad.out +++ b/test_regress/t/t_flag_errorlimit_bad.out @@ -1,13 +1,13 @@ %Error: t/t_flag_errorlimit_bad.v:10:8: Duplicate declaration of signal: 'u1' - int u1; - ^~ + 10 | int u1; + | ^~ t/t_flag_errorlimit_bad.v:9:8: ... Location of original declaration - int u1; - ^~ + 9 | int u1; + | ^~ %Error: t/t_flag_errorlimit_bad.v:11:8: Duplicate declaration of signal: 'u1' - int u1; - ^~ + 11 | int u1; + | ^~ t/t_flag_errorlimit_bad.v:9:8: ... Location of original declaration - int u1; - ^~ + 9 | int u1; + | ^~ %Error: Exiting due to diff --git a/test_regress/t/t_flag_topmodule_bad.out b/test_regress/t/t_flag_topmodule_bad.out index 18a859c82..181364e4b 100644 --- a/test_regress/t/t_flag_topmodule_bad.out +++ b/test_regress/t/t_flag_topmodule_bad.out @@ -2,12 +2,12 @@ : ... Suggest see manual; fix the duplicates, or use --top-module to select top. ... Use "/* verilator lint_off MULTITOP */" and lint_on around source to disable this message. : ... Top module 'a' -module a; - ^ + 7 | module a; + | ^ : ... Top module 'a2' -module a2; - ^~ + 15 | module a2; + | ^~ : ... Top module 'b' -module b; - ^ + 22 | module b; + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_flag_werror_bad1.out b/test_regress/t/t_flag_werror_bad1.out index 39474ba93..389d69336 100644 --- a/test_regress/t/t_flag_werror_bad1.out +++ b/test_regress/t/t_flag_werror_bad1.out @@ -1,6 +1,6 @@ %Warning-WIDTH: t/t_flag_werror.v:10:19: Operator ASSIGNW expects 4 bits on the Assign RHS, but Assign RHS's CONST '6'h2e' generates 6 bits. : ... In instance t - wire [3:0] foo = 6'h2e; - ^ + 10 | wire [3:0] foo = 6'h2e; + | ^ ... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_flag_werror_bad2.out b/test_regress/t/t_flag_werror_bad2.out index ebb95d4ce..9bf134b8b 100644 --- a/test_regress/t/t_flag_werror_bad2.out +++ b/test_regress/t/t_flag_werror_bad2.out @@ -1,5 +1,5 @@ %Error-WIDTH: t/t_flag_werror.v:10:19: Operator ASSIGNW expects 4 bits on the Assign RHS, but Assign RHS's CONST '6'h2e' generates 6 bits. : ... In instance t - wire [3:0] foo = 6'h2e; - ^ + 10 | wire [3:0] foo = 6'h2e; + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_flag_wfatal.out b/test_regress/t/t_flag_wfatal.out index a594379d5..78410d838 100644 --- a/test_regress/t/t_flag_wfatal.out +++ b/test_regress/t/t_flag_wfatal.out @@ -1,5 +1,5 @@ %Warning-WIDTH: t/t_flag_wfatal.v:10:19: Operator ASSIGNW expects 4 bits on the Assign RHS, but Assign RHS's CONST '6'h2e' generates 6 bits. : ... In instance t - wire [3:0] foo = 6'h2e; - ^ + 10 | wire [3:0] foo = 6'h2e; + | ^ ... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message. diff --git a/test_regress/t/t_flag_wpedantic_bad.out b/test_regress/t/t_flag_wpedantic_bad.out index 5e0897b35..4e9ac3f1b 100644 --- a/test_regress/t/t_flag_wpedantic_bad.out +++ b/test_regress/t/t_flag_wpedantic_bad.out @@ -1,4 +1,4 @@ %Error: t/t_flag_wpedantic_bad.v:8:14: syntax error, unexpected global, expecting IDENTIFIER or '=' or do or final - reg global; - ^ + 8 | reg global; + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_for_comma_bad.out b/test_regress/t/t_for_comma_bad.out index 2e7425a87..542c67fbb 100644 --- a/test_regress/t/t_for_comma_bad.out +++ b/test_regress/t/t_for_comma_bad.out @@ -1,28 +1,28 @@ %Error: t/t_for_comma_bad.v:14:16: Unsupported: for loop step after the first comma - for (; ; a=a+1, b=b+1) ; - ^ + 14 | for (; ; a=a+1, b=b+1) ; + | ^ %Error: t/t_for_comma_bad.v:17:19: Unsupported: for loop step after the first comma - for (; a<1; a=a+1, b=b+1) ; - ^ + 17 | for (; a<1; a=a+1, b=b+1) ; + | ^ %Error: t/t_for_comma_bad.v:20:22: Unsupported: for loop step after the first comma - for (a=0; a<1; a=a+1, b=b+1) ; - ^ + 20 | for (a=0; a<1; a=a+1, b=b+1) ; + | ^ %Error: t/t_for_comma_bad.v:23:30: Unsupported: for loop step after the first comma - for (integer a=0; a<1; a=a+1, b=b+1) ; - ^ + 23 | for (integer a=0; a<1; a=a+1, b=b+1) ; + | ^ %Error: t/t_for_comma_bad.v:26:34: Unsupported: for loop step after the first comma - for (var integer a=0; a<1; a=a+1, b=b+1) ; - ^ + 26 | for (var integer a=0; a<1; a=a+1, b=b+1) ; + | ^ %Error: t/t_for_comma_bad.v:27:23: Unsupported: for loop initialization after the first comma - for (integer a=0, integer b=0; a<1; ) ; - ^ + 27 | for (integer a=0, integer b=0; a<1; ) ; + | ^ %Error: t/t_for_comma_bad.v:28:23: Unsupported: for loop initialization after the first comma - for (integer a=0, integer b=0; a<1; a=a+1) ; - ^ + 28 | for (integer a=0, integer b=0; a<1; a=a+1) ; + | ^ %Error: t/t_for_comma_bad.v:29:23: Unsupported: for loop initialization after the first comma - for (integer a=0, integer b=0; a<1; a=a+1, b=b+1) ; - ^ + 29 | for (integer a=0, integer b=0; a<1; a=a+1, b=b+1) ; + | ^ %Error: t/t_for_comma_bad.v:29:43: Unsupported: for loop step after the first comma - for (integer a=0, integer b=0; a<1; a=a+1, b=b+1) ; - ^ + 29 | for (integer a=0, integer b=0; a<1; a=a+1, b=b+1) ; + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_func_bad.out b/test_regress/t/t_func_bad.out index 913a7e97c..bf300bf2e 100644 --- a/test_regress/t/t_func_bad.out +++ b/test_regress/t/t_func_bad.out @@ -1,29 +1,29 @@ %Error: t/t_func_bad.v:9:11: Missing argument on non-defaulted argument 'from2' in function call to FUNC 'add' : ... In instance t - if (add(3'd1) != 0) $stop; - ^~~ + 9 | if (add(3'd1) != 0) $stop; + | ^~~ %Error: t/t_func_bad.v:10:27: Too many arguments in function call to FUNC 'add' : ... In instance t - if (add(3'd1, 3'd2, 3'd3) != 0) $stop; - ^~~~ + 10 | if (add(3'd1, 3'd2, 3'd3) != 0) $stop; + | ^~~~ %Error: t/t_func_bad.v:11:7: Missing argument on non-defaulted argument 'y' in function call to TASK 'x' : ... In instance t - x; - ^ + 11 | x; + | ^ %Error: t/t_func_bad.v:11:7: Unsupported: Function output argument 'y' requires 1 bits, but connection's CONST '?32?h0' generates 32 bits. : ... In instance t - x; - ^ + 11 | x; + | ^ %Error: t/t_func_bad.v:14:17: No such argument 'no_such' in function call to FUNC 'f' : ... In instance t - f(.j(1), .no_such(2)); - ^~~~~~~ + 14 | f(.j(1), .no_such(2)); + | ^~~~~~~ %Error: t/t_func_bad.v:15:19: Duplicate argument 'dup' in function call to FUNC 'f' : ... In instance t - f(.dup(1), .dup(3)); - ^~~ + 15 | f(.dup(1), .dup(3)); + | ^~~ %Error: t/t_func_bad.v:16:13: Too many arguments in function call to FUNC 'f' : ... In instance t - f(1,2,3); - ^ + 16 | f(1,2,3); + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_func_bad2.out b/test_regress/t/t_func_bad2.out index 410705eae..c354564b7 100644 --- a/test_regress/t/t_func_bad2.out +++ b/test_regress/t/t_func_bad2.out @@ -1,5 +1,5 @@ %Error: t/t_func_bad2.v:8:13: Unsupported: Recursive function or task call : ... In instance t - function recurse; - ^~~~~~~ + 8 | function recurse; + | ^~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_func_bad_width.out b/test_regress/t/t_func_bad_width.out index f960e1c27..8948c688a 100644 --- a/test_regress/t/t_func_bad_width.out +++ b/test_regress/t/t_func_bad_width.out @@ -1,10 +1,10 @@ %Warning-WIDTH: t/t_func_bad_width.v:13:13: Operator FUNCREF 'MUX' expects 40 bits on the Function Argument, but Function Argument's VARREF 'in' generates 39 bits. : ... In instance t - out = MUX (in); - ^~~ + 13 | out = MUX (in); + | ^~~ ... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message. %Warning-WIDTH: t/t_func_bad_width.v:13:11: Operator ASSIGN expects 4 bits on the Assign RHS, but Assign RHS's FUNCREF 'MUX' generates 32 bits. : ... In instance t - out = MUX (in); - ^ + 13 | out = MUX (in); + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_func_const2_bad.out b/test_regress/t/t_func_const2_bad.out index f10b02c52..8efe45a6e 100644 --- a/test_regress/t/t_func_const2_bad.out +++ b/test_regress/t/t_func_const2_bad.out @@ -10,6 +10,6 @@ a = ?32?h7 b = ?32?h8 c = ?32?h9 - localparam SOMEP = f_add2(A, B, 9); - ^~~~~~ + 22 | localparam SOMEP = f_add2(A, B, 9); + | ^~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_func_const3_bad.out b/test_regress/t/t_func_const3_bad.out index ee62b1dba..02585e023 100644 --- a/test_regress/t/t_func_const3_bad.out +++ b/test_regress/t/t_func_const3_bad.out @@ -1,6 +1,6 @@ %Warning-WIDTHCONCAT: t/t_func_const3_bad.v:12:28: More than a 8k bit replication is probably wrong: 9000 : ... In instance t.b9k.c9 - localparam SOMEP = {BITS{1'b0}}; - ^ + 12 | localparam SOMEP = {BITS{1'b0}}; + | ^ ... Use "/* verilator lint_off WIDTHCONCAT */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_func_const_bad.out b/test_regress/t/t_func_const_bad.out index af17337cc..9871a8a45 100644 --- a/test_regress/t/t_func_const_bad.out +++ b/test_regress/t/t_func_const_bad.out @@ -1,36 +1,36 @@ %Error: t/t_func_const_bad.v:12:20: Expecting expression to be constant, but can't determine constant for FUNCREF 'f_bad_output' : ... In instance t t/t_func_const_bad.v:13:64: ... Location of non-constant VAR 'o': Language violation: Outputs/refs not allowed in constant functions - localparam B1 = f_bad_output(1,2); - ^~~~~~~~~~~~ + 12 | localparam B1 = f_bad_output(1,2); + | ^~~~~~~~~~~~ %Error: t/t_func_const_bad.v:21:20: Expecting expression to be constant, but can't determine constant for FUNCREF 'f_bad_dotted' : ... In instance t t/t_func_const_bad.v:23:24: ... Location of non-constant VARXREF 'EIGHT': Language violation: Dotted hierarchical references not allowed in constant functions t/t_func_const_bad.v:21:20: ... Called from f_bad_dotted() with parameters: a = ?32?h2 - localparam B2 = f_bad_dotted(2); - ^~~~~~~~~~~~ + 21 | localparam B2 = f_bad_dotted(2); + | ^~~~~~~~~~~~ %Error: t/t_func_const_bad.v:28:20: Expecting expression to be constant, but can't determine constant for FUNCREF 'f_bad_nonparam' : ... In instance t t/t_func_const_bad.v:30:24: ... Location of non-constant VARREF 'modvar': Language violation: reference to non-function-local variable t/t_func_const_bad.v:28:20: ... Called from f_bad_nonparam() with parameters: a = ?32?h3 - localparam B3 = f_bad_nonparam(3); - ^~~~~~~~~~~~~~ + 28 | localparam B3 = f_bad_nonparam(3); + | ^~~~~~~~~~~~~~ %Error: t/t_func_const_bad.v:36:20: Expecting expression to be constant, but can't determine constant for FUNCREF 'f_bad_infinite' : ... In instance t t/t_func_const_bad.v:38:7: ... Location of non-constant WHILE: Loop unrolling took too long; probably this is an infinite loop, or set --unroll-count above 1024 t/t_func_const_bad.v:36:20: ... Called from f_bad_infinite() with parameters: a = ?32?h3 - localparam B4 = f_bad_infinite(3); - ^~~~~~~~~~~~~~ + 36 | localparam B4 = f_bad_infinite(3); + | ^~~~~~~~~~~~~~ %Error: t/t_func_const_bad.v:44:23: Expecting expression to be constant, but can't determine constant for FUNCREF 'f_bad_stop' : ... In instance t t/t_func_const_bad.v:46:7: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing t/t_func_const_bad.v:44:23: ... Called from f_bad_stop() with parameters: a = ?32?h3 - localparam BSTOP = f_bad_stop(3); - ^~~~~~~~~~ + 44 | localparam BSTOP = f_bad_stop(3); + | ^~~~~~~~~~ -Info: "Printing in loop: 0" -Info: "Printing in loop: 1" -Info: "Printing in loop: 2" @@ -41,6 +41,6 @@ t/t_func_const_bad.v:55:7: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing t/t_func_const_bad.v:50:24: ... Called from f_bad_fatal() with parameters: a = ?32?h3 - localparam BFATAL = f_bad_fatal(3); - ^~~~~~~~~~~ + 50 | localparam BFATAL = f_bad_fatal(3); + | ^~~~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_func_const_packed_array_bad.out b/test_regress/t/t_func_const_packed_array_bad.out index 46c830252..25a3580a6 100644 --- a/test_regress/t/t_func_const_packed_array_bad.out +++ b/test_regress/t/t_func_const_packed_array_bad.out @@ -9,6 +9,6 @@ a = ?32?h7 b = ?32?h8 c = ?32?h9 - localparam P24 = f_add2(7, 8, 9); - ^~~~~~ + 12 | localparam P24 = f_add2(7, 8, 9); + | ^~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_func_const_packed_struct_bad.out b/test_regress/t/t_func_const_packed_struct_bad.out index e2f83c8fd..48e0f996f 100644 --- a/test_regress/t/t_func_const_packed_struct_bad.out +++ b/test_regress/t/t_func_const_packed_struct_bad.out @@ -9,6 +9,6 @@ a = ?32?h7 b = ?32?h8 c = ?32?h9 - localparam P24 = f_add2(7, 8, 9); - ^~~~~~ + 14 | localparam P24 = f_add2(7, 8, 9); + | ^~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_func_const_packed_struct_bad2.out b/test_regress/t/t_func_const_packed_struct_bad2.out index b9c75a604..7e6d1dcb6 100644 --- a/test_regress/t/t_func_const_packed_struct_bad2.out +++ b/test_regress/t/t_func_const_packed_struct_bad2.out @@ -9,6 +9,6 @@ a = ?32?h7 b = ?32?h8 c = ?32?h9 - localparam P24 = f_add2(7, 8, 9); - ^~~~~~ + 20 | localparam P24 = f_add2(7, 8, 9); + | ^~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_func_const_struct_bad.out b/test_regress/t/t_func_const_struct_bad.out index a83fd9f76..804a7d608 100644 --- a/test_regress/t/t_func_const_struct_bad.out +++ b/test_regress/t/t_func_const_struct_bad.out @@ -9,6 +9,6 @@ a = ?32?h7 b = ?32?h8 c = ?32?h9 - localparam P24 = f_add2(7, 8, 9); - ^~~~~~ + 17 | localparam P24 = f_add2(7, 8, 9); + | ^~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_func_task_bad.out b/test_regress/t/t_func_task_bad.out index c764e9053..5a85eb04d 100644 --- a/test_regress/t/t_func_task_bad.out +++ b/test_regress/t/t_func_task_bad.out @@ -1,4 +1,4 @@ %Error: t/t_func_task_bad.v:10:11: Illegal call of a task as a function: 'task_as_func' - if (task_as_func(1'b0)) $stop; - ^~~~~~~~~~~~ + 10 | if (task_as_func(1'b0)) $stop; + | ^~~~~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_func_tie_bad.out b/test_regress/t/t_func_tie_bad.out index 44c14a081..2b7d3d9a9 100644 --- a/test_regress/t/t_func_tie_bad.out +++ b/test_regress/t/t_func_tie_bad.out @@ -1,4 +1,4 @@ %Error: t/t_func_tie_bad.v:11:15: Function/task output connected to constant instead of variable: 'b' - func(0, 1'b1); - ^~~~ + 11 | func(0, 1'b1); + | ^~~~ %Error: Exiting due to diff --git a/test_regress/t/t_func_void_bad.out b/test_regress/t/t_func_void_bad.out index d566f2b01..2eaf6b65c 100644 --- a/test_regress/t/t_func_void_bad.out +++ b/test_regress/t/t_func_void_bad.out @@ -1,5 +1,5 @@ %Warning-IGNOREDRETURN: t/t_func_void_bad.v:26:7: Ignoring return value of non-void function (IEEE 1800-2017 13.4.1) - f1(20); - ^~ + 26 | f1(20); + | ^~ ... Use "/* verilator lint_off IGNOREDRETURN */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_func_wide_out_bad.out b/test_regress/t/t_func_wide_out_bad.out index 97c01d0cf..956791a50 100644 --- a/test_regress/t/t_func_wide_out_bad.out +++ b/test_regress/t/t_func_wide_out_bad.out @@ -1,5 +1,5 @@ %Error: t/t_func_wide_out_bad.v:17:12: Unsupported: Function output argument 'data' requires 4352 bits, but connection's VARREF 'msg' generates 4350 bits. : ... In instance t - func(msg); - ^~~ + 17 | func(msg); + | ^~~ %Error: Exiting due to diff --git a/test_regress/t/t_fuzz_always_bad.out b/test_regress/t/t_fuzz_always_bad.out index 105ac813c..6da8a3f17 100644 --- a/test_regress/t/t_fuzz_always_bad.out +++ b/test_regress/t/t_fuzz_always_bad.out @@ -1,10 +1,10 @@ %Error: t/t_fuzz_always_bad.v:10:15: Can't find definition of 'a' in dotted variable: 'c.a' - always @ c.a c:h; - ^ + 10 | always @ c.a c:h; + | ^ %Error: t/t_fuzz_always_bad.v:10:19: Can't find definition of task/function: 'h' - always @ c.a c:h; - ^ + 10 | always @ c.a c:h; + | ^ %Error: t/t_fuzz_always_bad.v:10:14: Unsupported: Complex statement in sensitivity list - always @ c.a c:h; - ^ + 10 | always @ c.a c:h; + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_fuzz_eqne_bad.out b/test_regress/t/t_fuzz_eqne_bad.out index 0a4769818..08bd37daf 100644 --- a/test_regress/t/t_fuzz_eqne_bad.out +++ b/test_regress/t/t_fuzz_eqne_bad.out @@ -1,5 +1,5 @@ %Error: t/t_fuzz_eqne_bad.v:12:23: Slice operator VARREF 't.b' on non-slicable (e.g. non-vector) right-hand-side operand : ... In instance t.b - initial c = (a != &b); - ^ + 12 | initial c = (a != &b); + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_fuzz_genintf_bad.out b/test_regress/t/t_fuzz_genintf_bad.out index 1a11b8902..bd63bfbc4 100644 --- a/test_regress/t/t_fuzz_genintf_bad.out +++ b/test_regress/t/t_fuzz_genintf_bad.out @@ -1,9 +1,9 @@ %Error: t/t_fuzz_genintf_bad.v:24:12: Unsupported: Member call on object 'VARREF 'j'' which is a 'BASICDTYPE 'integer'' : ... In instance t - j.e(0), - ^ + 24 | j.e(0), + | ^ %Error: Internal Error: t/t_fuzz_genintf_bad.v:24:11: ../V3Width.cpp:#: Unlinked pin data type : ... In instance t - j.e(0), - ^ + 24 | j.e(0), + | ^ ... See the manual and https://verilator.org for more assistance. diff --git a/test_regress/t/t_fuzz_negwidth_bad.out b/test_regress/t/t_fuzz_negwidth_bad.out index a66492020..7d1d69a9f 100644 --- a/test_regress/t/t_fuzz_negwidth_bad.out +++ b/test_regress/t/t_fuzz_negwidth_bad.out @@ -1,4 +1,4 @@ %Error: t/t_fuzz_negwidth_bad.v:9:9: Unsupported: Width of number exceeds implementation limit: 1231232312312312'd1 (IEEE 1800-2017 6.9.1) -int c = 1231232312312312'd1; - ^~~~~~~~~~~~~~~~~~~ + 9 | int c = 1231232312312312'd1; + | ^~~~~~~~~~~~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_fuzz_triand_bad.out b/test_regress/t/t_fuzz_triand_bad.out index be56d5d36..4e3319976 100644 --- a/test_regress/t/t_fuzz_triand_bad.out +++ b/test_regress/t/t_fuzz_triand_bad.out @@ -1,9 +1,9 @@ %Error: t/t_fuzz_triand_bad.v:8:12: Unsupported: Member call on object 'VARREF 'g'' which is a 'BASICDTYPE 'logic'' : ... In instance t - tri g=g.and.g; - ^~~ + 8 | tri g=g.and.g; + | ^~~ %Error: Internal Error: t/t_fuzz_triand_bad.v:8:12: ../V3Width.cpp:#: Unlinked data type : ... In instance t - tri g=g.and.g; - ^~~ + 8 | tri g=g.and.g; + | ^~~ ... See the manual and https://verilator.org for more assistance. diff --git a/test_regress/t/t_gen_cond_bitrange_bad.out b/test_regress/t/t_gen_cond_bitrange_bad.out index a52a88a13..0c77f2e84 100644 --- a/test_regress/t/t_gen_cond_bitrange_bad.out +++ b/test_regress/t/t_gen_cond_bitrange_bad.out @@ -1,18 +1,18 @@ %Warning-SELRANGE: t/t_gen_cond_bitrange_bad.v:58:38: Selection index out of range: 2:2 outside 1:0 : ... In instance t.i_test_gen - if ((g < (SIZE + 1)) && MASK[g]) begin - ^ + 58 | if ((g < (SIZE + 1)) && MASK[g]) begin + | ^ ... Use "/* verilator lint_off SELRANGE */" and lint_on around source to disable this message. %Warning-SELRANGE: t/t_gen_cond_bitrange_bad.v:70:32: Selection index out of range: 2:2 outside 1:0 : ... In instance t.i_test_gen - if ((g < SIZE) && MASK[g + 1]) begin - ^ + 70 | if ((g < SIZE) && MASK[g + 1]) begin + | ^ %Warning-SELRANGE: t/t_gen_cond_bitrange_bad.v:83:33: Selection index out of range: 2:2 outside 1:0 : ... In instance t.i_test_gen - if ((g < (SIZE)) & MASK[g]) begin - ^ + 83 | if ((g < (SIZE)) & MASK[g]) begin + | ^ %Warning-SELRANGE: t/t_gen_cond_bitrange_bad.v:96:35: Selection index out of range: 2:2 outside 1:0 : ... In instance t.i_test_gen - if (!((g >= SIZE) | ~MASK[g])) begin - ^ + 96 | if (!((g >= SIZE) | ~MASK[g])) begin + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_gen_missing_bad.out b/test_regress/t/t_gen_missing_bad.out index 9621e017b..c482a7ec0 100644 --- a/test_regress/t/t_gen_missing_bad.out +++ b/test_regress/t/t_gen_missing_bad.out @@ -1,6 +1,6 @@ %Error: t/t_gen_missing.v:43:20: Cannot find file containing module: 'foo_not_needed' - foo_not_needed i_foo(.x(foo[j]), .y(bar[j])); - ^~~~~~~~~~~~~~ + 43 | foo_not_needed i_foo(.x(foo[j]), .y(bar[j])); + | ^~~~~~~~~~~~~~ ... Looked in: t/foo_not_needed t/foo_not_needed.v diff --git a/test_regress/t/t_gen_var_bad.out b/test_regress/t/t_gen_var_bad.out index 1f314d58e..e488e77d0 100644 --- a/test_regress/t/t_gen_var_bad.out +++ b/test_regress/t/t_gen_var_bad.out @@ -1,5 +1,5 @@ %Error: t/t_gen_var_bad.v:10:7: Non-genvar used in generate for: 'i' : ... In instance t - for (i=0; i<3; i=i+1) begin - ^~~ + 10 | for (i=0; i<3; i=i+1) begin + | ^~~ %Error: Exiting due to diff --git a/test_regress/t/t_generate_fatal_bad.out b/test_regress/t/t_generate_fatal_bad.out index 4f6d030db..1e3d4e2b1 100644 --- a/test_regress/t/t_generate_fatal_bad.out +++ b/test_regress/t/t_generate_fatal_bad.out @@ -5,83 +5,83 @@ t/t_generate_fatal_bad.v:9:4: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing t/t_generate_fatal_bad.v:13:29: ... Called from get_baz() with parameters: bar = ?32?h0 - localparam integer BAZ = get_baz(BAR); - ^~~~~~~ + 13 | localparam integer BAZ = get_baz(BAR); + | ^~~~~~~ %Error: t/t_generate_fatal_bad.v:13:29: Expecting expression to be constant, but can't determine constant for FUNCREF 'get_baz' : ... In instance t.genloop[1].foo_inst t/t_generate_fatal_bad.v:9:4: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing t/t_generate_fatal_bad.v:13:29: ... Called from get_baz() with parameters: bar = ?32?h1 - localparam integer BAZ = get_baz(BAR); - ^~~~~~~ + 13 | localparam integer BAZ = get_baz(BAR); + | ^~~~~~~ %Error: t/t_generate_fatal_bad.v:13:29: Expecting expression to be constant, but can't determine constant for FUNCREF 'get_baz' : ... In instance t.gen_l1[2].gen_l2[0].foo_inst2 t/t_generate_fatal_bad.v:9:4: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing t/t_generate_fatal_bad.v:13:29: ... Called from get_baz() with parameters: bar = 32'h2 - localparam integer BAZ = get_baz(BAR); - ^~~~~~~ + 13 | localparam integer BAZ = get_baz(BAR); + | ^~~~~~~ %Error: t/t_generate_fatal_bad.v:13:29: Expecting expression to be constant, but can't determine constant for FUNCREF 'get_baz' : ... In instance t.gen_l1[2].gen_l2[1].foo_inst2 t/t_generate_fatal_bad.v:9:4: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing t/t_generate_fatal_bad.v:13:29: ... Called from get_baz() with parameters: bar = 32'h4 - localparam integer BAZ = get_baz(BAR); - ^~~~~~~ + 13 | localparam integer BAZ = get_baz(BAR); + | ^~~~~~~ %Error: t/t_generate_fatal_bad.v:13:29: Expecting expression to be constant, but can't determine constant for FUNCREF 'get_baz' : ... In instance t.gen_l1[3].gen_l2[0].foo_inst2 t/t_generate_fatal_bad.v:9:4: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing t/t_generate_fatal_bad.v:13:29: ... Called from get_baz() with parameters: bar = 32'h3 - localparam integer BAZ = get_baz(BAR); - ^~~~~~~ + 13 | localparam integer BAZ = get_baz(BAR); + | ^~~~~~~ %Error: t/t_generate_fatal_bad.v:13:29: Expecting expression to be constant, but can't determine constant for FUNCREF 'get_baz' : ... In instance t.gen_l1[3].gen_l2[1].foo_inst2 t/t_generate_fatal_bad.v:9:4: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing t/t_generate_fatal_bad.v:13:29: ... Called from get_baz() with parameters: bar = 32'h5 - localparam integer BAZ = get_baz(BAR); - ^~~~~~~ + 13 | localparam integer BAZ = get_baz(BAR); + | ^~~~~~~ %Error: t/t_generate_fatal_bad.v:13:29: Expecting expression to be constant, but can't determine constant for FUNCREF 'get_baz' : ... In instance t.cond_true.foo_inst3 t/t_generate_fatal_bad.v:9:4: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing t/t_generate_fatal_bad.v:13:29: ... Called from get_baz() with parameters: bar = ?32?h6 - localparam integer BAZ = get_baz(BAR); - ^~~~~~~ + 13 | localparam integer BAZ = get_baz(BAR); + | ^~~~~~~ %Error: t/t_generate_fatal_bad.v:13:29: Expecting expression to be constant, but can't determine constant for FUNCREF 'get_baz' : ... In instance t.genblk1.foo_inst4 t/t_generate_fatal_bad.v:9:4: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing t/t_generate_fatal_bad.v:13:29: ... Called from get_baz() with parameters: bar = ?32?h7 - localparam integer BAZ = get_baz(BAR); - ^~~~~~~ + 13 | localparam integer BAZ = get_baz(BAR); + | ^~~~~~~ %Error: t/t_generate_fatal_bad.v:13:29: Expecting expression to be constant, but can't determine constant for FUNCREF 'get_baz' : ... In instance t.nested_loop[8].foo2_inst.foo2_loop[0].foo_in_foo2_inst t/t_generate_fatal_bad.v:9:4: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing t/t_generate_fatal_bad.v:13:29: ... Called from get_baz() with parameters: bar = 32'h8 - localparam integer BAZ = get_baz(BAR); - ^~~~~~~ + 13 | localparam integer BAZ = get_baz(BAR); + | ^~~~~~~ %Error: t/t_generate_fatal_bad.v:13:29: Expecting expression to be constant, but can't determine constant for FUNCREF 'get_baz' : ... In instance t.nested_loop[8].foo2_inst.foo2_loop[1].foo_in_foo2_inst t/t_generate_fatal_bad.v:9:4: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing t/t_generate_fatal_bad.v:13:29: ... Called from get_baz() with parameters: bar = 32'h9 - localparam integer BAZ = get_baz(BAR); - ^~~~~~~ + 13 | localparam integer BAZ = get_baz(BAR); + | ^~~~~~~ %Error: t/t_generate_fatal_bad.v:13:29: Expecting expression to be constant, but can't determine constant for FUNCREF 'get_baz' : ... In instance t.nested_loop[10].foo2_inst.foo2_loop[0].foo_in_foo2_inst t/t_generate_fatal_bad.v:9:4: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing t/t_generate_fatal_bad.v:13:29: ... Called from get_baz() with parameters: bar = 32'ha - localparam integer BAZ = get_baz(BAR); - ^~~~~~~ + 13 | localparam integer BAZ = get_baz(BAR); + | ^~~~~~~ %Error: t/t_generate_fatal_bad.v:13:29: Expecting expression to be constant, but can't determine constant for FUNCREF 'get_baz' : ... In instance t.nested_loop[10].foo2_inst.foo2_loop[1].foo_in_foo2_inst t/t_generate_fatal_bad.v:9:4: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing t/t_generate_fatal_bad.v:13:29: ... Called from get_baz() with parameters: bar = 32'hb - localparam integer BAZ = get_baz(BAR); - ^~~~~~~ + 13 | localparam integer BAZ = get_baz(BAR); + | ^~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_genvar_for_bad.out b/test_regress/t/t_genvar_for_bad.out index ece43fa38..e5e807319 100644 --- a/test_regress/t/t_genvar_for_bad.out +++ b/test_regress/t/t_genvar_for_bad.out @@ -1,5 +1,5 @@ %Error: t/t_genvar_for_bad.v:23:10: Genvar not legal in non-generate for (IEEE 1800-2017 27.4): 't.i' : ... Suggest move for loop upwards to generate-level scope. - for (i=0; i %Error: Exiting due to diff --git a/test_regress/t/t_interface_missing_bad.out b/test_regress/t/t_interface_missing_bad.out index 8a55c9e52..2e5302cfe 100644 --- a/test_regress/t/t_interface_missing_bad.out +++ b/test_regress/t/t_interface_missing_bad.out @@ -1,10 +1,10 @@ %Error: t/t_interface_missing_bad.v:14:4: Cannot find file containing interface: 'foo_intf' - foo_intf foo - ^~~~~~~~ + 14 | foo_intf foo + | ^~~~~~~~ %Error: t/t_interface_missing_bad.v:20:4: Cannot find file containing interface: 'foo_intf' - foo_intf the_foo (); - ^~~~~~~~ + 20 | foo_intf the_foo (); + | ^~~~~~~~ %Error: t/t_interface_missing_bad.v:25:15: Found definition of 'the_foo' as a CELL but expected a variable - .foo (the_foo) - ^~~~~~~ + 25 | .foo (the_foo) + | ^~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_interface_modport_bad.out b/test_regress/t/t_interface_modport_bad.out index 7f3b1d0f3..cad2aaa0c 100644 --- a/test_regress/t/t_interface_modport_bad.out +++ b/test_regress/t/t_interface_modport_bad.out @@ -1,5 +1,5 @@ %Error: t/t_interface_modport_bad.v:23:8: Modport not found under interface 'ifc': 'oop_modport' : ... Suggested alternative: 'out_modport' - ifc.oop_modport isub, - ^~~~~~~~~~~ + 23 | ifc.oop_modport isub, + | ^~~~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_interface_param_acc_bits.out b/test_regress/t/t_interface_param_acc_bits.out index b1e646b81..69419ae25 100644 --- a/test_regress/t/t_interface_param_acc_bits.out +++ b/test_regress/t/t_interface_param_acc_bits.out @@ -1,5 +1,5 @@ %Error: t/t_interface_param_acc_bits.v:15:42: Parameter-resolved constants must not use dotted references: 'dummy' : ... In instance t - simple_bus #(.PARAMETER($bits(sb_intf.dummy))) simple(); - ^~~~~ + 15 | simple_bus #(.PARAMETER($bits(sb_intf.dummy))) simple(); + | ^~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_interface_param_another_bad.out b/test_regress/t/t_interface_param_another_bad.out index ced2bd394..c77f8eae3 100644 --- a/test_regress/t/t_interface_param_another_bad.out +++ b/test_regress/t/t_interface_param_another_bad.out @@ -1,5 +1,5 @@ %Error: t/t_interface_param_another_bad.v:9:42: Parameter-resolved constants must not use dotted references: 'dummy' : ... In instance t - simple_bus #(.PARAMETER($bits(sb_intf.dummy))) simple(); - ^~~~~ + 9 | simple_bus #(.PARAMETER($bits(sb_intf.dummy))) simple(); + | ^~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_interface_size_bad.out b/test_regress/t/t_interface_size_bad.out index 9f2667315..b5ccb6def 100644 --- a/test_regress/t/t_interface_size_bad.out +++ b/test_regress/t/t_interface_size_bad.out @@ -1,9 +1,9 @@ %Error: t/t_interface_size_bad.v:16:20: Illegal port connection 'foo', mismatch between port which is an interface array of size 5, and expression which is an interface array of size 4. : ... In instance t - baz baz4_inst (.foo(foo4)); - ^~~ + 16 | baz baz4_inst (.foo(foo4)); + | ^~~ %Error: t/t_interface_size_bad.v:17:20: Illegal port connection 'foo', mismatch between port which is an interface array of size 5, and expression which is an interface array of size 6. : ... In instance t - baz baz6_inst (.foo(foo6)); - ^~~ + 17 | baz baz6_inst (.foo(foo6)); + | ^~~ %Error: Exiting due to diff --git a/test_regress/t/t_interface_top_bad.out b/test_regress/t/t_interface_top_bad.out index a9fb08f7d..118e343f0 100644 --- a/test_regress/t/t_interface_top_bad.out +++ b/test_regress/t/t_interface_top_bad.out @@ -1,7 +1,7 @@ %Error: t/t_interface_top_bad.v:17:19: Unsupported: Interfaced port on top level module - ifc.counter_mp c_data - ^~~~~~ + 17 | ifc.counter_mp c_data + | ^~~~~~ %Error: t/t_interface_top_bad.v:17:4: Parent cell's interface is not found: 'ifc' - ifc.counter_mp c_data - ^~~ + 17 | ifc.counter_mp c_data + | ^~~ %Error: Exiting due to diff --git a/test_regress/t/t_interface_typo_bad.out b/test_regress/t/t_interface_typo_bad.out index 0f39088c3..c509e157d 100644 --- a/test_regress/t/t_interface_typo_bad.out +++ b/test_regress/t/t_interface_typo_bad.out @@ -1,10 +1,10 @@ %Error: t/t_interface_typo_bad.v:14:4: Parent cell's interface is not found: 'foo_intf' - foo_intf foo - ^~~~~~~~ + 14 | foo_intf foo + | ^~~~~~~~ %Error: t/t_interface_typo_bad.v:22:4: Cannot find file containing interface: 'fo_intf' - fo_intf the_foo; - ^~~~~~~ + 22 | fo_intf the_foo; + | ^~~~~~~ %Error: t/t_interface_typo_bad.v:27:15: Found definition of 'the_foo' as a CELL but expected a variable - .foo (the_foo) - ^~~~~~~ + 27 | .foo (the_foo) + | ^~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_interface_wrong_bad.out b/test_regress/t/t_interface_wrong_bad.out index d0098d72e..d4694955a 100644 --- a/test_regress/t/t_interface_wrong_bad.out +++ b/test_regress/t/t_interface_wrong_bad.out @@ -1,5 +1,5 @@ %Error: t/t_interface_wrong_bad.v:32:8: Port 'foo_port' expects 'foo_intf' interface but pin connects 'bar_intf' interface : ... In instance t - .foo_port (bar) - ^~~~~~~~ + 32 | .foo_port (bar) + | ^~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_lint_always_comb_bad.out b/test_regress/t/t_lint_always_comb_bad.out index 56c8b26f4..7f198d9e9 100644 --- a/test_regress/t/t_lint_always_comb_bad.out +++ b/test_regress/t/t_lint_always_comb_bad.out @@ -1,18 +1,18 @@ %Error-PROCASSWIRE: t/t_lint_always_comb_bad.v:29:9: Procedural assignment to wire, perhaps intended var (IEEE 1800-2017 6.5): 'temp1' : ... In instance t - temp1 = 'h0; - ^~~~~ + 29 | temp1 = 'h0; + | ^~~~~ %Error-PROCASSWIRE: t/t_lint_always_comb_bad.v:31:9: Procedural assignment to wire, perhaps intended var (IEEE 1800-2017 6.5): 'temp1' : ... In instance t - temp1 = (temp1_d1r - 'h1); - ^~~~~ + 31 | temp1 = (temp1_d1r - 'h1); + | ^~~~~ %Warning-ALWCOMBORDER: t/t_lint_always_comb_bad.v:32:7: Always_comb variable driven after use: 'mid' : ... In instance t - mid = (temp1_d1r == 'h0); - ^~~ + 32 | mid = (temp1_d1r == 'h0); + | ^~~ ... Use "/* verilator lint_off ALWCOMBORDER */" and lint_on around source to disable this message. %Error-PROCASSWIRE: t/t_lint_always_comb_bad.v:46:7: Procedural assignment to wire, perhaps intended var (IEEE 1800-2017 6.5): 'temp1_d1r' : ... In instance t - temp1_d1r <= temp1; - ^~~~~~~~~ + 46 | temp1_d1r <= temp1; + | ^~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_lint_blksync_bad.out b/test_regress/t/t_lint_blksync_bad.out index fb627e546..3a5104638 100644 --- a/test_regress/t/t_lint_blksync_bad.out +++ b/test_regress/t/t_lint_blksync_bad.out @@ -1,12 +1,12 @@ %Warning-BLKSEQ: t/t_lint_blksync_bad.v:24:16: Blocking assignments (=) in sequential (flop or latch) block : ... Suggest delayed assignments (<=) - sync_blk = 1'b1; - ^ + 24 | sync_blk = 1'b1; + | ^ ... Use "/* verilator lint_off BLKSEQ */" and lint_on around source to disable this message. %Warning-COMBDLY: t/t_lint_blksync_bad.v:31:18: Delayed assignments (<=) in non-clocked (non flop or latch) block : ... Suggest blocking assignments (=) - combo_nblk <= 1'b1; - ^~ + 31 | combo_nblk <= 1'b1; + | ^~ *** See the manual before disabling this, else you may end up with different sim results. %Error: Exiting due to diff --git a/test_regress/t/t_lint_bsspace_bad.out b/test_regress/t/t_lint_bsspace_bad.out index a1e6aee48..e7d583699 100644 --- a/test_regress/t/t_lint_bsspace_bad.out +++ b/test_regress/t/t_lint_bsspace_bad.out @@ -1,8 +1,8 @@ %Warning-BSSPACE: t/t_lint_bsspace_bad.v:10:21: Backslash followed by whitespace, perhaps the whitespace is accidental? -`define FOO blak \ - ^ + 10 | `define FOO blak \ + | ^ ... Use "/* verilator lint_off BSSPACE */" and lint_on around source to disable this message. %Error: t/t_lint_bsspace_bad.v:11:4: syntax error, unexpected IDENTIFIER - blak - ^~~~ + 11 | blak + | ^~~~ %Error: Exiting due to diff --git a/test_regress/t/t_lint_colonplus_bad.out b/test_regress/t/t_lint_colonplus_bad.out index 48c5e52a9..745bf6ae6 100644 --- a/test_regress/t/t_lint_colonplus_bad.out +++ b/test_regress/t/t_lint_colonplus_bad.out @@ -1,5 +1,5 @@ %Warning-COLONPLUS: t/t_lint_colonplus_bad.v:13:25: Perhaps instead of ':+' the intent was '+:'? - output [2:1] z = r[2 :+ 1]; - ^~ + 13 | output [2:1] z = r[2 :+ 1]; + | ^~ ... Use "/* verilator lint_off COLONPLUS */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_lint_comb_bad.out b/test_regress/t/t_lint_comb_bad.out index e33061d24..902480d1d 100644 --- a/test_regress/t/t_lint_comb_bad.out +++ b/test_regress/t/t_lint_comb_bad.out @@ -1,4 +1,4 @@ %Error: t/t_lint_comb_bad.v:14:16: syntax error, unexpected '@' - always_comb @(*) begin - ^ + 14 | always_comb @(*) begin + | ^ %Error: Cannot continue diff --git a/test_regress/t/t_lint_declfilename_bad.out b/test_regress/t/t_lint_declfilename_bad.out index d241bd456..9f9a150d7 100644 --- a/test_regress/t/t_lint_declfilename_bad.out +++ b/test_regress/t/t_lint_declfilename_bad.out @@ -1,5 +1,5 @@ %Warning-DECLFILENAME: t/t_lint_declfilename.v:7:8: Filename 't_lint_declfilename' does not match MODULE name: 't' -module t; - ^ + 7 | module t; + | ^ ... Use "/* verilator lint_off DECLFILENAME */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_lint_defparam_bad.out b/test_regress/t/t_lint_defparam_bad.out index 7895045a9..f7093b05a 100644 --- a/test_regress/t/t_lint_defparam_bad.out +++ b/test_regress/t/t_lint_defparam_bad.out @@ -1,5 +1,5 @@ %Warning-DEFPARAM: t/t_lint_defparam.v:10:19: Suggest replace defparam assignment with Verilog 2001 #(.P(...etc...)) - defparam sub.P = 2; - ^ + 10 | defparam sub.P = 2; + | ^ ... Use "/* verilator lint_off DEFPARAM */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_lint_ifdepth_bad.out b/test_regress/t/t_lint_ifdepth_bad.out index d237b2754..494d7100b 100644 --- a/test_regress/t/t_lint_ifdepth_bad.out +++ b/test_regress/t/t_lint_ifdepth_bad.out @@ -1,6 +1,6 @@ %Warning-IFDEPTH: t/t_lint_ifdepth_bad.v:22:12: Deep 'if' statement; suggest unique/priority to avoid slow logic : ... In instance t - else if (value==11) begin end - ^~ + 22 | else if (value==11) begin end + | ^~ ... Use "/* verilator lint_off IFDEPTH */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_lint_implicit_bad.out b/test_regress/t/t_lint_implicit_bad.out index 6bb53e85b..111126806 100644 --- a/test_regress/t/t_lint_implicit_bad.out +++ b/test_regress/t/t_lint_implicit_bad.out @@ -1,16 +1,16 @@ %Warning-IMPLICIT: t/t_lint_implicit.v:11:11: Signal definition not found, creating implicitly: 'b' - assign b = 1'b1; - ^ + 11 | assign b = 1'b1; + | ^ ... Use "/* verilator lint_off IMPLICIT */" and lint_on around source to disable this message. %Warning-IMPLICIT: t/t_lint_implicit.v:13:14: Signal definition not found, creating implicitly: 'nt0' - or OR0 (nt0, a, b); - ^~~ + 13 | or OR0 (nt0, a, b); + | ^~~ %Warning-IMPLICIT: t/t_lint_implicit.v:16:12: Signal definition not found, creating implicitly: 'dummy1' : ... Suggested alternative: 'dummy_ip' - assign {dummy1, dummy2} = dummy_ip; - ^~~~~~ + 16 | assign {dummy1, dummy2} = dummy_ip; + | ^~~~~~ %Warning-IMPLICIT: t/t_lint_implicit.v:16:20: Signal definition not found, creating implicitly: 'dummy2' : ... Suggested alternative: 'dummy1' - assign {dummy1, dummy2} = dummy_ip; - ^~~~~~ + 16 | assign {dummy1, dummy2} = dummy_ip; + | ^~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_lint_implicit_def_bad.out b/test_regress/t/t_lint_implicit_def_bad.out index b753fd10f..c6248d083 100644 --- a/test_regress/t/t_lint_implicit_def_bad.out +++ b/test_regress/t/t_lint_implicit_def_bad.out @@ -1,8 +1,8 @@ %Warning-IMPLICIT: t/t_lint_implicit_def_bad.v:13:11: Signal definition not found, creating implicitly: 'imp_warn' - assign imp_warn = 1'b1; - ^~~~~~~~ + 13 | assign imp_warn = 1'b1; + | ^~~~~~~~ ... Use "/* verilator lint_off IMPLICIT */" and lint_on around source to disable this message. %Error: t/t_lint_implicit_def_bad.v:18:11: Signal definition not found, and implicit disabled with `default_nettype: 'imp_err' - assign imp_err = 1'b1; - ^~~~~~~ + 18 | assign imp_err = 1'b1; + | ^~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_lint_import_name_bad.out b/test_regress/t/t_lint_import_name_bad.out index 4bed0dfe0..36a7cf18e 100644 --- a/test_regress/t/t_lint_import_name_bad.out +++ b/test_regress/t/t_lint_import_name_bad.out @@ -1,4 +1,4 @@ %Error: t/t_lint_import_name_bad.v:11:12: Import object not found: 'defs::sigs' -import defs::sigs; - ^~ + 11 | import defs::sigs; + | ^~ %Error: Exiting due to diff --git a/test_regress/t/t_lint_importstar_bad.out b/test_regress/t/t_lint_importstar_bad.out index 8e1bd741e..7eaf12bc7 100644 --- a/test_regress/t/t_lint_importstar_bad.out +++ b/test_regress/t/t_lint_importstar_bad.out @@ -1,5 +1,5 @@ %Warning-IMPORTSTAR: t/t_lint_importstar_bad.v:11:12: Import::* in $unit scope may pollute global namespace -import defs::*; - ^~ + 11 | import defs::*; + | ^~ ... Use "/* verilator lint_off IMPORTSTAR */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_lint_in_inc_bad.out b/test_regress/t/t_lint_in_inc_bad.out index afb30d173..b643c6ad8 100644 --- a/test_regress/t/t_lint_in_inc_bad.out +++ b/test_regress/t/t_lint_in_inc_bad.out @@ -1,6 +1,6 @@ %Error: t/t_lint_in_inc_bad_2.vh:9:7: syntax error, unexpected if, expecting '(' - if if if; - ^~ + 9 | if if if; + | ^~ t/t_lint_in_inc_bad_1.vh:8:1: ... note: In file included from t_lint_in_inc_bad_1.vh t/t_lint_in_inc_bad.v:8:1: ... note: In file included from t_lint_in_inc_bad.v %Error: Exiting due to diff --git a/test_regress/t/t_lint_incabspath_bad.out b/test_regress/t/t_lint_incabspath_bad.out index 14467b848..c90e6372b 100644 --- a/test_regress/t/t_lint_incabspath_bad.out +++ b/test_regress/t/t_lint_incabspath_bad.out @@ -1,5 +1,5 @@ %Warning-INCABSPATH: t/t_lint_incabspath.v:7:10: Suggest `include with absolute path be made relative, and use +include: /dev/null -`include "/dev/null" - ^~~~~~~~~~~ + 7 | `include "/dev/null" + | ^~~~~~~~~~~ ... Use "/* verilator lint_off INCABSPATH */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_lint_infinite.out b/test_regress/t/t_lint_infinite.out index 22a9ac516..04de98f39 100644 --- a/test_regress/t/t_lint_infinite.out +++ b/test_regress/t/t_lint_infinite.out @@ -1,10 +1,10 @@ %Warning-INFINITELOOP: t/t_lint_infinite.v:10:7: Infinite loop (condition always true) : ... In instance t - forever begin end - ^~~~~~~ + 10 | forever begin end + | ^~~~~~~ ... Use "/* verilator lint_off INFINITELOOP */" and lint_on around source to disable this message. %Warning-INFINITELOOP: t/t_lint_infinite.v:12:7: Infinite loop (condition always true) : ... In instance t - for (reg [31:0] i=0; i>=0; i=i+1) begin end - ^~~ + 12 | for (reg [31:0] i=0; i>=0; i=i+1) begin end + | ^~~ %Error: Exiting due to diff --git a/test_regress/t/t_lint_input_eq_bad.out b/test_regress/t/t_lint_input_eq_bad.out index 038794136..c12a38f17 100644 --- a/test_regress/t/t_lint_input_eq_bad.out +++ b/test_regress/t/t_lint_input_eq_bad.out @@ -1,4 +1,4 @@ %Error: t/t_lint_input_eq_bad.v:10:15: Unsupported: Default value on module input: 'i2' - input wire i2 = i - ^~ + 10 | input wire i2 = i + | ^~ %Error: Exiting due to diff --git a/test_regress/t/t_lint_latch_bad.out b/test_regress/t/t_lint_latch_bad.out index cdfe08ec4..751a7516f 100644 --- a/test_regress/t/t_lint_latch_bad.out +++ b/test_regress/t/t_lint_latch_bad.out @@ -1,7 +1,7 @@ %Warning-COMBDLY: t/t_lint_latch_bad.v:25:10: Delayed assignments (<=) in non-clocked (non flop or latch) block : ... Suggest blocking assignments (=) - bc <= a; - ^~ + 25 | bc <= a; + | ^~ ... Use "/* verilator lint_off COMBDLY */" and lint_on around source to disable this message. *** See the manual before disabling this, else you may end up with different sim results. diff --git a/test_regress/t/t_lint_literal_bad.out b/test_regress/t/t_lint_literal_bad.out index 26b10c687..88f210ea5 100644 --- a/test_regress/t/t_lint_literal_bad.out +++ b/test_regress/t/t_lint_literal_bad.out @@ -1,5 +1,5 @@ %Warning-WIDTH: t/t_lint_literal_bad.v:10:33: Value too large for 8 bit number: 256 - localparam the_localparam = 8'd256; - ^~~~~~ + 10 | localparam the_localparam = 8'd256; + | ^~~~~~ ... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_lint_mod_paren_bad.out b/test_regress/t/t_lint_mod_paren_bad.out index 895bfead5..682bb8951 100644 --- a/test_regress/t/t_lint_mod_paren_bad.out +++ b/test_regress/t/t_lint_mod_paren_bad.out @@ -1,4 +1,4 @@ %Error: t/t_lint_mod_paren_bad.v:14:7: syntax error, unexpected '(', expecting ';' - output bar - ^~~~~~ + 14 | output bar + | ^~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_lint_modport_dir_bad.out b/test_regress/t/t_lint_modport_dir_bad.out index ad5439bf9..976bcd3b1 100644 --- a/test_regress/t/t_lint_modport_dir_bad.out +++ b/test_regress/t/t_lint_modport_dir_bad.out @@ -1,5 +1,5 @@ %Error: t/t_lint_modport_dir_bad.v:26:20: Attempt to drive input-only modport: 'signal' : ... In instance t.sub - assign dummy_in.signal = signal_i; - ^~~~~~ + 26 | assign dummy_in.signal = signal_i; + | ^~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_lint_multidriven_bad.out b/test_regress/t/t_lint_multidriven_bad.out index 50cc978c6..5839d7898 100644 --- a/test_regress/t/t_lint_multidriven_bad.out +++ b/test_regress/t/t_lint_multidriven_bad.out @@ -1,16 +1,16 @@ %Warning-MULTIDRIVEN: t/t_lint_multidriven_bad.v:21:22: Signal has multiple driving blocks with different clocking: 't.mem' t/t_lint_multidriven_bad.v:27:7: ... Location of first driving block - mem[a0] <= d1; - ^~~ + 27 | mem[a0] <= d1; + | ^~~ t/t_lint_multidriven_bad.v:24:7: ... Location of other driving block - mem[a0] <= d0; - ^~~ + 24 | mem[a0] <= d0; + | ^~~ ... Use "/* verilator lint_off MULTIDRIVEN */" and lint_on around source to disable this message. %Warning-MULTIDRIVEN: t/t_lint_multidriven_bad.v:19:22: Signal has multiple driving blocks with different clocking: 'out2' t/t_lint_multidriven_bad.v:35:7: ... Location of first driving block - out2[15:8] <= d0; - ^~~~ + 35 | out2[15:8] <= d0; + | ^~~~ t/t_lint_multidriven_bad.v:32:7: ... Location of other driving block - out2[7:0] <= d0; - ^~~~ + 32 | out2[7:0] <= d0; + | ^~~~ %Error: Exiting due to diff --git a/test_regress/t/t_lint_once_bad.out b/test_regress/t/t_lint_once_bad.out index be8f058a3..fd18cfd0d 100644 --- a/test_regress/t/t_lint_once_bad.out +++ b/test_regress/t/t_lint_once_bad.out @@ -1,10 +1,10 @@ %Warning-UNUSED: t/t_lint_once_bad.v:19:14: Signal is not driven, nor used: 'unus1' : ... In instance t.sub3 - reg [A:0] unus1; reg [A:0] unus2; - ^~~~~ + 19 | reg [A:0] unus1; reg [A:0] unus2; + | ^~~~~ ... Use "/* verilator lint_off UNUSED */" and lint_on around source to disable this message. %Warning-UNUSED: t/t_lint_once_bad.v:19:34: Signal is not driven, nor used: 'unus2' : ... In instance t.sub3 - reg [A:0] unus1; reg [A:0] unus2; - ^~~~~ + 19 | reg [A:0] unus1; reg [A:0] unus2; + | ^~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_lint_pindup_bad.out b/test_regress/t/t_lint_pindup_bad.out index 01535d009..0e4832769 100644 --- a/test_regress/t/t_lint_pindup_bad.out +++ b/test_regress/t/t_lint_pindup_bad.out @@ -1,31 +1,31 @@ %Warning-PINMISSING: t/t_lint_pindup_bad.v:19:4: Cell has missing pin: 'exists' - sub (.o(o), - ^~~ + 19 | sub (.o(o), + | ^~~ ... Use "/* verilator lint_off PINMISSING */" and lint_on around source to disable this message. %Error: t/t_lint_pindup_bad.v:21:10: Duplicate pin connection: 'i' - .i(i2), - ^ + 21 | .i(i2), + | ^ t/t_lint_pindup_bad.v:20:10: ... Location of original pin connection - .i(i), - ^ + 20 | .i(i), + | ^ %Error: t/t_lint_pindup_bad.v:22:10: Pin not found: 'nexist' : ... Suggested alternative: 'exists' - .nexist(i2) - ^~~~~~ + 22 | .nexist(i2) + | ^~~~~~ %Error: t/t_lint_pindup_bad.v:16:9: Parameter pin not found: 'NEXIST' : ... Suggested alternative: 'EXIST' - .NEXIST(1), - ^~~~~~ + 16 | .NEXIST(1), + | ^~~~~~ %Error: t/t_lint_pindup_bad.v:17:9: Duplicate parameter pin connection: 'P' - .P(2), - ^ + 17 | .P(2), + | ^ t/t_lint_pindup_bad.v:15:8: ... Location of original parameter pin connection - #(, - ^ + 15 | #(, + | ^ %Error: t/t_lint_pindup_bad.v:18:9: Duplicate parameter pin connection: 'P' - .P(3)) - ^ + 18 | .P(3)) + | ^ t/t_lint_pindup_bad.v:15:8: ... Location of original parameter pin connection - #(, - ^ + 15 | #(, + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_lint_pkg_colon_bad.out b/test_regress/t/t_lint_pkg_colon_bad.out index 226a60124..9af5556c8 100644 --- a/test_regress/t/t_lint_pkg_colon_bad.out +++ b/test_regress/t/t_lint_pkg_colon_bad.out @@ -1,8 +1,8 @@ %Error: t/t_lint_pkg_colon_bad.v:7:23: syntax error, unexpected ::, expecting ')' or ',' -module t (input mispkg::foo_t a); - ^~ + 7 | module t (input mispkg::foo_t a); + | ^~ : ... Perhaps 'mispkg' is a package which needs to be predeclared? (IEEE 1800-2017 26.3) %Error: t/t_lint_pkg_colon_bad.v:8:15: syntax error, unexpected ::, expecting ',' or ';' - reg mispkgb::bar_t b; - ^~ + 8 | reg mispkgb::bar_t b; + | ^~ %Error: Exiting due to diff --git a/test_regress/t/t_lint_realcvt_bad.out b/test_regress/t/t_lint_realcvt_bad.out index abec8ccb5..b21a18477 100644 --- a/test_regress/t/t_lint_realcvt_bad.out +++ b/test_regress/t/t_lint_realcvt_bad.out @@ -1,5 +1,5 @@ %Warning-REALCVT: t/t_lint_realcvt_bad.v:10:11: Implicit conversion of real to integer - i = 23.2; - ^~~~ + 10 | i = 23.2; + | ^~~~ ... Use "/* verilator lint_off REALCVT */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_lint_repeat_bad.out b/test_regress/t/t_lint_repeat_bad.out index 4f8133064..234280873 100644 --- a/test_regress/t/t_lint_repeat_bad.out +++ b/test_regress/t/t_lint_repeat_bad.out @@ -1,6 +1,6 @@ %Warning-WIDTH: t/t_lint_repeat_bad.v:18:17: Operator ASSIGNW expects 1 bits on the Assign RHS, but Assign RHS's VARREF 'a' generates 2 bits. : ... In instance t.sub2 - wire [0:0] b = a; - ^ + 18 | wire [0:0] b = a; + | ^ ... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_lint_restore_bad.out b/test_regress/t/t_lint_restore_bad.out index b72d2b4d9..b01c1a699 100644 --- a/test_regress/t/t_lint_restore_bad.out +++ b/test_regress/t/t_lint_restore_bad.out @@ -1,6 +1,6 @@ %Warning-WIDTH: t/t_lint_restore_bad.v:19:17: Operator ASSIGN expects 5 bits on the Assign RHS, but Assign RHS's CONST '64'h1' generates 64 bits. : ... In instance t - initial five = 64'h1; - ^ + 19 | initial five = 64'h1; + | ^ ... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_lint_rsvd_bad.out b/test_regress/t/t_lint_rsvd_bad.out index a90f7a119..8cf338ee9 100644 --- a/test_regress/t/t_lint_rsvd_bad.out +++ b/test_regress/t/t_lint_rsvd_bad.out @@ -1,10 +1,10 @@ %Error: t/t_lint_rsvd_bad.v:7:1: Unsupported: Verilog 2001-config reserved word not implemented: 'config' -config cfgBad; -^~~~~~ + 7 | config cfgBad; + | ^~~~~~ %Error: t/t_lint_rsvd_bad.v:7:8: syntax error, unexpected IDENTIFIER -config cfgBad; - ^~~~~~ + 7 | config cfgBad; + | ^~~~~~ %Error: t/t_lint_rsvd_bad.v:8:1: Unsupported: Verilog 2001-config reserved word not implemented: 'endconfig' -endconfig -^~~~~~~~~ + 8 | endconfig + | ^~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_lint_setout_bad.out b/test_regress/t/t_lint_setout_bad.out index ba82f02d2..2ed7227db 100644 --- a/test_regress/t/t_lint_setout_bad.out +++ b/test_regress/t/t_lint_setout_bad.out @@ -1,5 +1,5 @@ %Error-PORTSHORT: t/t_lint_setout_bad.v:17:8: Output port is connected to a constant pin, electrical short : ... In instance t - .cpu_if_timeout(1'b0) - ^~~~~~~~~~~~~~ + 17 | .cpu_if_timeout(1'b0) + | ^~~~~~~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_lint_setout_bad_noinl.out b/test_regress/t/t_lint_setout_bad_noinl.out index ba82f02d2..2ed7227db 100644 --- a/test_regress/t/t_lint_setout_bad_noinl.out +++ b/test_regress/t/t_lint_setout_bad_noinl.out @@ -1,5 +1,5 @@ %Error-PORTSHORT: t/t_lint_setout_bad.v:17:8: Output port is connected to a constant pin, electrical short : ... In instance t - .cpu_if_timeout(1'b0) - ^~~~~~~~~~~~~~ + 17 | .cpu_if_timeout(1'b0) + | ^~~~~~~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_lint_subout_bad.out b/test_regress/t/t_lint_subout_bad.out index 283882ff7..32c40ece4 100644 --- a/test_regress/t/t_lint_subout_bad.out +++ b/test_regress/t/t_lint_subout_bad.out @@ -1,13 +1,13 @@ %Error-PORTSHORT: t/t_lint_subout_bad.v:12:14: Output port is connected to a constant pin, electrical short : ... In instance t - sub sub1(.out({32'b0, sig})); - ^~~ + 12 | sub sub1(.out({32'b0, sig})); + | ^~~ %Error-PORTSHORT: t/t_lint_subout_bad.v:13:14: Output port is connected to a constant pin, electrical short : ... In instance t - sub sub2(.out({32'b1, sig})); - ^~~ + 13 | sub sub2(.out({32'b1, sig})); + | ^~~ %Error-PORTSHORT: t/t_lint_subout_bad.v:11:14: Output port is connected to a constant pin, electrical short : ... In instance t - sub sub0(.out(33'b0)); - ^~~ + 11 | sub sub0(.out(33'b0)); + | ^~~ %Error: Exiting due to diff --git a/test_regress/t/t_lint_syncasyncnet_bad.out b/test_regress/t/t_lint_syncasyncnet_bad.out index a87720099..fd13ef2e0 100644 --- a/test_regress/t/t_lint_syncasyncnet_bad.out +++ b/test_regress/t/t_lint_syncasyncnet_bad.out @@ -1,9 +1,9 @@ %Warning-SYNCASYNCNET: t/t_lint_syncasyncnet_bad.v:16:25: Signal flopped as both synchronous and async: 'rst_both_l' t/t_lint_syncasyncnet_bad.v:91:15: ... Location of async usage - q2 <= (~rst_both_l) ? 1'b0 : d; - ^~~~~~~~~~ + 91 | q2 <= (~rst_both_l) ? 1'b0 : d; + | ^~~~~~~~~~ t/t_lint_syncasyncnet_bad.v:59:14: ... Location of sync usage - q2 <= (rst_both_l) ? d : 1'b0; - ^~~~~~~~~~ + 59 | q2 <= (rst_both_l) ? d : 1'b0; + | ^~~~~~~~~~ ... Use "/* verilator lint_off SYNCASYNCNET */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_lint_unsized_bad.out b/test_regress/t/t_lint_unsized_bad.out index 348e40ac8..3eaf50102 100644 --- a/test_regress/t/t_lint_unsized_bad.out +++ b/test_regress/t/t_lint_unsized_bad.out @@ -1,6 +1,6 @@ %Error: t/t_lint_unsized_bad.v:8:22: Too many digits for 32 bit number: 'd123456789123456789123456789 ... As that number was unsized ('d...) it is limited to 32 bits (IEEE 1800-2017 5.7.1) ... Suggest adding a size to it. - bit [256:0] num = 'd123456789123456789123456789; - ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ + 8 | bit [256:0] num = 'd123456789123456789123456789; + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_lint_unused_bad.out b/test_regress/t/t_lint_unused_bad.out index abda77e7e..9e888314f 100644 --- a/test_regress/t/t_lint_unused_bad.out +++ b/test_regress/t/t_lint_unused_bad.out @@ -1,26 +1,26 @@ %Warning-UNUSED: t/t_lint_unused_bad.v:17:15: Bits of signal are not used: 'assunu1'[5:1] : ... In instance t.sub - wire [5:0] assunu1 = 0; - ^~~~~~~ + 17 | wire [5:0] assunu1 = 0; + | ^~~~~~~ ... Use "/* verilator lint_off UNUSED */" and lint_on around source to disable this message. %Warning-UNDRIVEN: t/t_lint_unused_bad.v:21:17: Bits of signal are not driven: 'udrb2'[14:13,11] : ... In instance t.sub - wire [15:10] udrb2; - ^~~~~ + 21 | wire [15:10] udrb2; + | ^~~~~ %Warning-UNUSED: t/t_lint_unused_bad.v:26:15: Signal is not driven, nor used: 'unu3' : ... In instance t.sub - wire unu3; - ^~~~ + 26 | wire unu3; + | ^~~~ %Warning-UNUSED: t/t_lint_unused_bad.v:28:15: Bits of signal are not driven, nor used: 'mixed'[3] : ... In instance t.sub - wire [3:0] mixed; - ^~~~~ + 28 | wire [3:0] mixed; + | ^~~~~ %Warning-UNUSED: t/t_lint_unused_bad.v:28:15: Bits of signal are not used: 'mixed'[2] : ... In instance t.sub - wire [3:0] mixed; - ^~~~~ + 28 | wire [3:0] mixed; + | ^~~~~ %Warning-UNDRIVEN: t/t_lint_unused_bad.v:28:15: Bits of signal are not driven: 'mixed'[1] : ... In instance t.sub - wire [3:0] mixed; - ^~~~~ + 28 | wire [3:0] mixed; + | ^~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_lint_unused_iface_bad.out b/test_regress/t/t_lint_unused_iface_bad.out index 8e72899f1..917ccb9fe 100644 --- a/test_regress/t/t_lint_unused_iface_bad.out +++ b/test_regress/t/t_lint_unused_iface_bad.out @@ -1,10 +1,10 @@ %Warning-UNDRIVEN: t/t_lint_unused_iface_bad.v:8:10: Signal is not driven: 'sig_udrv' : ... In instance t.sub - logic sig_udrv; - ^~~~~~~~ + 8 | logic sig_udrv; + | ^~~~~~~~ ... Use "/* verilator lint_off UNDRIVEN */" and lint_on around source to disable this message. %Warning-UNUSED: t/t_lint_unused_iface_bad.v:9:10: Signal is not used: 'sig_uusd' : ... In instance t.sub - logic sig_uusd; - ^~~~~~~~ + 9 | logic sig_uusd; + | ^~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_lint_vcmarker_bad.out b/test_regress/t/t_lint_vcmarker_bad.out index 2b161c966..944368358 100644 --- a/test_regress/t/t_lint_vcmarker_bad.out +++ b/test_regress/t/t_lint_vcmarker_bad.out @@ -1,10 +1,10 @@ %Error: t/t_lint_vcmarker_bad.v:9:1: version control conflict marker in file -<<<<<<< HEAD -^~~~~~~~~~~~~~~ + 9 | <<<<<<< HEAD + | ^~~~~~~~~~~~~~~ %Error: t/t_lint_vcmarker_bad.v:11:1: version control conflict marker in file -======= -^~~~~~~~~~~ + 11 | ======= + | ^~~~~~~~~~~ %Error: t/t_lint_vcmarker_bad.v:13:1: version control conflict marker in file ->>>>>>> MERGE -^~~~~~~~~~~~~~~~ + 13 | >>>>>>> MERGE + | ^~~~~~~~~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_lint_width_bad.out b/test_regress/t/t_lint_width_bad.out index ac70f4d68..b2802d6b0 100644 --- a/test_regress/t/t_lint_width_bad.out +++ b/test_regress/t/t_lint_width_bad.out @@ -1,42 +1,42 @@ %Warning-WIDTH: t/t_lint_width_bad.v:17:25: Operator VAR 'XS' expects 4 bits on the Initial value, but Initial value's CONST '?32?bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx' generates 32 bits. : ... In instance t - localparam [3:0] XS = 'hx; - ^~ + 17 | localparam [3:0] XS = 'hx; + | ^~ ... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message. %Warning-WIDTH: t/t_lint_width_bad.v:45:19: Operator ASSIGNW expects 5 bits on the Assign RHS, but Assign RHS's VARREF 'in' generates 4 bits. : ... In instance t.p4 - wire [4:0] out = in; - ^ + 45 | wire [4:0] out = in; + | ^ %Warning-WIDTH: t/t_lint_width_bad.v:21:25: Operator SHIFTL expects 5 bits on the LHS, but LHS's CONST '1'h1' generates 1 bits. : ... In instance t - wire [4:0] d = (1'b1 << 2) + 5'b1; - ^~ + 21 | wire [4:0] d = (1'b1 << 2) + 5'b1; + | ^~ %Warning-WIDTH: t/t_lint_width_bad.v:27:32: Operator ASSIGNW expects 6 bits on the Assign RHS, but Assign RHS's SHIFTL generates 7 bits. : ... In instance t - wire [WIDTH-1:0] masked = (({{(WIDTH){1'b0}}, one_bit}) << shifter); - ^ + 27 | wire [WIDTH-1:0] masked = (({{(WIDTH){1'b0}}, one_bit}) << shifter); + | ^ %Warning-WIDTH: t/t_lint_width_bad.v:32:37: Operator ADD expects 3 bits on the LHS, but LHS's VARREF 'one' generates 1 bits. : ... In instance t - wire [2:0] cnt = (one + one + one + one); - ^ + 32 | wire [2:0] cnt = (one + one + one + one); + | ^ %Warning-WIDTH: t/t_lint_width_bad.v:32:37: Operator ADD expects 3 bits on the RHS, but RHS's VARREF 'one' generates 1 bits. : ... In instance t - wire [2:0] cnt = (one + one + one + one); - ^ + 32 | wire [2:0] cnt = (one + one + one + one); + | ^ %Warning-WIDTH: t/t_lint_width_bad.v:32:43: Operator ADD expects 3 bits on the RHS, but RHS's VARREF 'one' generates 1 bits. : ... In instance t - wire [2:0] cnt = (one + one + one + one); - ^ + 32 | wire [2:0] cnt = (one + one + one + one); + | ^ %Warning-WIDTH: t/t_lint_width_bad.v:32:49: Operator ADD expects 3 bits on the RHS, but RHS's VARREF 'one' generates 1 bits. : ... In instance t - wire [2:0] cnt = (one + one + one + one); - ^ + 32 | wire [2:0] cnt = (one + one + one + one); + | ^ %Warning-WIDTH: t/t_lint_width_bad.v:37:26: Operator GT expects 41 bits on the LHS, but LHS's VARREF 'a' generates 32 bits. : ... In instance t - initial for (a = 0; a > THREE; ++a) $display(a); - ^ + 37 | initial for (a = 0; a > THREE; ++a) $display(a); + | ^ %Warning-WIDTH: t/t_lint_width_bad.v:38:26: Operator GTE expects 41 bits on the LHS, but LHS's VARREF 'a' generates 32 bits. : ... In instance t - initial for (a = 0; a >= THREE; ++a) $display(a); - ^~ + 38 | initial for (a = 0; a >= THREE; ++a) $display(a); + | ^~ %Error: Exiting due to diff --git a/test_regress/t/t_lint_width_genfor_bad.out b/test_regress/t/t_lint_width_genfor_bad.out index d2c40fd8a..5e344a696 100644 --- a/test_regress/t/t_lint_width_genfor_bad.out +++ b/test_regress/t/t_lint_width_genfor_bad.out @@ -1,22 +1,22 @@ %Warning-WIDTH: t/t_lint_width_genfor_bad.v:25:13: Operator ASSIGN expects 4 bits on the Assign RHS, but Assign RHS's CONST '?32?h10' generates 32 or 5 bits. : ... In instance t - rg = g; - ^ + 25 | rg = g; + | ^ ... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message. %Warning-WIDTH: t/t_lint_width_genfor_bad.v:26:13: Operator ASSIGN expects 4 bits on the Assign RHS, but Assign RHS's VARREF 'P' generates 32 or 5 bits. : ... In instance t - rp = P; - ^ + 26 | rp = P; + | ^ %Warning-WIDTH: t/t_lint_width_genfor_bad.v:27:13: Operator ASSIGN expects 4 bits on the Assign RHS, but Assign RHS's VARREF 'w' generates 5 bits. : ... In instance t - rw = w; - ^ + 27 | rw = w; + | ^ %Warning-WIDTH: t/t_lint_width_genfor_bad.v:28:13: Operator ASSIGN expects 4 bits on the Assign RHS, but Assign RHS's CONST '64'h1' generates 64 bits. : ... In instance t - rc = 64'h1; - ^ + 28 | rc = 64'h1; + | ^ %Warning-WIDTH: t/t_lint_width_genfor_bad.v:33:13: Operator ASSIGN expects 4 bits on the Assign RHS, but Assign RHS's VARREF 'i' generates 32 bits. : ... In instance t - ri = i; - ^ + 33 | ri = i; + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_math_shift_over_bad.out b/test_regress/t/t_math_shift_over_bad.out index 85cbcab90..b731354e6 100644 --- a/test_regress/t/t_math_shift_over_bad.out +++ b/test_regress/t/t_math_shift_over_bad.out @@ -1,5 +1,5 @@ %Error: t/t_math_shift_over_bad.v:19:20: Value too wide for 32-bits expected in this context 64'h123456789abcdef : ... In instance t - assign o = i << 64'h01234567_89abcdef; - ^~~~~~~~~~~~~~~~~~~~~ + 19 | assign o = i << 64'h01234567_89abcdef; + | ^~~~~~~~~~~~~~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_math_shortreal_unsup_bad.out b/test_regress/t/t_math_shortreal_unsup_bad.out index 97844af3a..b73e9626c 100644 --- a/test_regress/t/t_math_shortreal_unsup_bad.out +++ b/test_regress/t/t_math_shortreal_unsup_bad.out @@ -1,5 +1,5 @@ %Warning-SHORTREAL: t/t_math_shortreal_unsup_bad.v:9:4: Unsupported: shortreal being promoted to real (suggest use real instead) - shortreal s; - ^~~~~~~~~ + 9 | shortreal s; + | ^~~~~~~~~ ... Use "/* verilator lint_off SHORTREAL */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_mem_multi_ref_bad.out b/test_regress/t/t_mem_multi_ref_bad.out index 821480085..d7aad1413 100644 --- a/test_regress/t/t_mem_multi_ref_bad.out +++ b/test_regress/t/t_mem_multi_ref_bad.out @@ -1,38 +1,38 @@ %Error: t/t_mem_multi_ref_bad.v:15:11: Illegal bit or array select; type does not have a bit range, or bad dimension: data type is 'logic' : ... In instance t - dimn[1:0] = 0; - ^ + 15 | dimn[1:0] = 0; + | ^ %Error: t/t_mem_multi_ref_bad.v:15:11: Extracting 2 bits from only 1 bit number : ... In instance t - dimn[1:0] = 0; - ^ + 15 | dimn[1:0] = 0; + | ^ %Error: t/t_mem_multi_ref_bad.v:16:14: Illegal bit or array select; type does not have a bit range, or bad dimension: data type is 'logic' : ... In instance t - dim0[1][1] = 0; - ^ + 16 | dim0[1][1] = 0; + | ^ %Warning-SELRANGE: t/t_mem_multi_ref_bad.v:16:14: Selection index out of range: 1:1 outside 0:0 : ... In instance t - dim0[1][1] = 0; - ^ + 16 | dim0[1][1] = 0; + | ^ ... Use "/* verilator lint_off SELRANGE */" and lint_on around source to disable this message. %Error: t/t_mem_multi_ref_bad.v:17:17: Illegal bit or array select; type does not have a bit range, or bad dimension: data type is 'logic' : ... In instance t - dim1[1][1][1] = 0; - ^ + 17 | dim1[1][1][1] = 0; + | ^ %Warning-SELRANGE: t/t_mem_multi_ref_bad.v:17:17: Selection index out of range: 1:1 outside 0:0 : ... In instance t - dim1[1][1][1] = 0; - ^ + 17 | dim1[1][1][1] = 0; + | ^ %Error: t/t_mem_multi_ref_bad.v:19:11: Illegal +: or -: select; type already selected, or bad dimension: data type is 'logic[1:0]$[1:0][1:0]' : ... In instance t - dim2[0 +: 1][1] = 0; - ^ + 19 | dim2[0 +: 1][1] = 0; + | ^ %Error: t/t_mem_multi_ref_bad.v:23:16: Illegal bit or array select; type does not have a bit range, or bad dimension: data type is 'logic' : ... In instance t - dim0nv[1][1] = 0; - ^ + 23 | dim0nv[1][1] = 0; + | ^ %Warning-SELRANGE: t/t_mem_multi_ref_bad.v:23:16: Selection index out of range: 1:1 outside 0:0 : ... In instance t - dim0nv[1][1] = 0; - ^ + 23 | dim0nv[1][1] = 0; + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_mem_packed_bad.out b/test_regress/t/t_mem_packed_bad.out index 63eb94d3e..f4dce2369 100644 --- a/test_regress/t/t_mem_packed_bad.out +++ b/test_regress/t/t_mem_packed_bad.out @@ -1,4 +1,4 @@ %Error: t/t_mem_packed_bad.v:27:32: CONST '28'h0' unexpected in assignment to unpacked array - ch04 <= 56'd0; - ^~~~~ + 27 | ch04 <= 56'd0; + | ^~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_mem_slice_bad.out b/test_regress/t/t_mem_slice_bad.out index 85234820a..35f165b59 100644 --- a/test_regress/t/t_mem_slice_bad.out +++ b/test_regress/t/t_mem_slice_bad.out @@ -1,25 +1,25 @@ %Error: t/t_mem_slice_bad.v:39:31: Slice selection index '[2:0]' outside data type's '[1:0]' : ... In instance t - assign active_command3[1:0][2:0][3:0] = (use_AnB) ? command_A3[1:0][2:0][3:0] : command_B3[1:0][1:0][3:0]; - ^ + 39 | assign active_command3[1:0][2:0][3:0] = (use_AnB) ? command_A3[1:0][2:0][3:0] : command_B3[1:0][1:0][3:0]; + | ^ %Error: t/t_mem_slice_bad.v:39:36: Slice selection index '[3:0]' outside data type's '[2:0]' : ... In instance t - assign active_command3[1:0][2:0][3:0] = (use_AnB) ? command_A3[1:0][2:0][3:0] : command_B3[1:0][1:0][3:0]; - ^ + 39 | assign active_command3[1:0][2:0][3:0] = (use_AnB) ? command_A3[1:0][2:0][3:0] : command_B3[1:0][1:0][3:0]; + | ^ %Error: t/t_mem_slice_bad.v:39:72: Slice selection index '[2:0]' outside data type's '[1:0]' : ... In instance t - assign active_command3[1:0][2:0][3:0] = (use_AnB) ? command_A3[1:0][2:0][3:0] : command_B3[1:0][1:0][3:0]; - ^ + 39 | assign active_command3[1:0][2:0][3:0] = (use_AnB) ? command_A3[1:0][2:0][3:0] : command_B3[1:0][1:0][3:0]; + | ^ %Error: t/t_mem_slice_bad.v:39:77: Slice selection index '[3:0]' outside data type's '[2:0]' : ... In instance t - assign active_command3[1:0][2:0][3:0] = (use_AnB) ? command_A3[1:0][2:0][3:0] : command_B3[1:0][1:0][3:0]; - ^ + 39 | assign active_command3[1:0][2:0][3:0] = (use_AnB) ? command_A3[1:0][2:0][3:0] : command_B3[1:0][1:0][3:0]; + | ^ %Error: t/t_mem_slice_bad.v:39:105: Slice selection index '[3:0]' outside data type's '[1:0]' : ... In instance t - assign active_command3[1:0][2:0][3:0] = (use_AnB) ? command_A3[1:0][2:0][3:0] : command_B3[1:0][1:0][3:0]; - ^ + 39 | assign active_command3[1:0][2:0][3:0] = (use_AnB) ? command_A3[1:0][2:0][3:0] : command_B3[1:0][1:0][3:0]; + | ^ %Error: t/t_mem_slice_bad.v:51:41: Slice selection index '[8:0]' outside data type's '[7:0]' : ... In instance t - active_command4[7:0] <= command_A4[8:0]; - ^ + 51 | active_command4[7:0] <= command_A4[8:0]; + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_mem_slice_dtype_bad.out b/test_regress/t/t_mem_slice_dtype_bad.out index 61398372a..9968631a6 100644 --- a/test_regress/t/t_mem_slice_dtype_bad.out +++ b/test_regress/t/t_mem_slice_dtype_bad.out @@ -1,4 +1,4 @@ %Error: t/t_mem_slice_dtype_bad.v:23:45: ADD unexpected in assignment to unpacked array - completed_cnt[id] <= completed_cnt_dp + 1; - ^ + 23 | completed_cnt[id] <= completed_cnt_dp + 1; + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_metacmt_onoff.out b/test_regress/t/t_metacmt_onoff.out index 168238635..d1233b4d7 100644 --- a/test_regress/t/t_metacmt_onoff.out +++ b/test_regress/t/t_metacmt_onoff.out @@ -1,8 +1,8 @@ %Warning-LITENDIAN: t/t_metacmt_onoff.v:8:8: Little bit endian vector: MSB < LSB of bit range: 0:1 - reg [0:1] show1; /*verilator lint_off LITENDIAN*/ reg [0:2] ign2; /*verilator lint_on LITENDIAN*/ reg [0:3] show3; - ^ + 8 | reg [0:1] show1; /*verilator lint_off LITENDIAN*/ reg [0:2] ign2; /*verilator lint_on LITENDIAN*/ reg [0:3] show3; + | ^ ... Use "/* verilator lint_off LITENDIAN */" and lint_on around source to disable this message. %Warning-LITENDIAN: t/t_metacmt_onoff.v:8:109: Little bit endian vector: MSB < LSB of bit range: 0:3 - reg [0:1] show1; /*verilator lint_off LITENDIAN*/ reg [0:2] ign2; /*verilator lint_on LITENDIAN*/ reg [0:3] show3; - ^ + 8 | reg [0:1] show1; /*verilator lint_off LITENDIAN*/ reg [0:2] ign2; /*verilator lint_on LITENDIAN*/ reg [0:3] show3; + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_mod_dup_bad.out b/test_regress/t/t_mod_dup_bad.out index c5a8a11c1..87b31425b 100644 --- a/test_regress/t/t_mod_dup_bad.out +++ b/test_regress/t/t_mod_dup_bad.out @@ -1,16 +1,16 @@ %Warning-MODDUP: t/t_mod_dup_bad.v:14:8: Duplicate declaration of module: 'a' -module a(); - ^ + 14 | module a(); + | ^ t/t_mod_dup_bad.v:7:8: ... Location of original declaration -module a(); - ^ + 7 | module a(); + | ^ ... Use "/* verilator lint_off MODDUP */" and lint_on around source to disable this message. %Warning-MULTITOP: t/t_mod_dup_bad.v:17:8: Multiple top level modules : ... Suggest see manual; fix the duplicates, or use --top-module to select top. : ... Top module 'test' -module test(); - ^~~~ + 10 | module test(); + | ^~~~ : ... Top module 'b' -module b(); - ^ + 17 | module b(); + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_mod_interface_array3.out b/test_regress/t/t_mod_interface_array3.out index 962ce3568..80bde9afc 100644 --- a/test_regress/t/t_mod_interface_array3.out +++ b/test_regress/t/t_mod_interface_array3.out @@ -1,7 +1,7 @@ %Error: t/t_mod_interface_array3.v:25:20: Unsupported: Multidimensional cells/interfaces. - a_if iface [2:0][1:0]; - ^ + 25 | a_if iface [2:0][1:0]; + | ^ %Error: t/t_mod_interface_array3.v:27:18: Unsupported: Multidimensional cells/interfaces. - sub i_sub[2:0][1:0] (.s(str)); - ^ + 27 | sub i_sub[2:0][1:0] (.s(str)); + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_multitop_sig_bad.out b/test_regress/t/t_multitop_sig_bad.out index b2fea4ce3..b905115db 100644 --- a/test_regress/t/t_multitop_sig_bad.out +++ b/test_regress/t/t_multitop_sig_bad.out @@ -2,12 +2,12 @@ : ... Suggest see manual; fix the duplicates, or use --top-module to select top. ... Use "/* verilator lint_off MULTITOP */" and lint_on around source to disable this message. : ... Top module 'a' -module a(in, out); - ^ + 7 | module a(in, out); + | ^ : ... Top module 'b' -module b(in, out); - ^ + 15 | module b(in, out); + | ^ : ... Top module 'c' -module c(uniq_in, uniq_out); - ^ + 23 | module c(uniq_in, uniq_out); + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_number_bad.out b/test_regress/t/t_number_bad.out index 763f96e44..b88db4a1f 100644 --- a/test_regress/t/t_number_bad.out +++ b/test_regress/t/t_number_bad.out @@ -1,10 +1,10 @@ %Error: t/t_number_bad.v:9:29: Number is missing value digits: 32'd - parameter integer FOO2 = 32'd-6; - ^~~~ + 9 | parameter integer FOO2 = 32'd-6; + | ^~~~ %Error: t/t_number_bad.v:10:29: Number is missing value digits: 32'd - parameter integer FOO3 = 32'd; - ^~~~ + 10 | parameter integer FOO3 = 32'd; + | ^~~~ %Error: t/t_number_bad.v:11:29: Number is missing value digits: 32'h - parameter integer FOO4 = 32'h; - ^~~~ + 11 | parameter integer FOO4 = 32'h; + | ^~~~ %Error: Exiting due to diff --git a/test_regress/t/t_order_clkinst_bad.out b/test_regress/t/t_order_clkinst_bad.out index 0e011c6f4..bd4b51c51 100644 --- a/test_regress/t/t_order_clkinst_bad.out +++ b/test_regress/t/t_order_clkinst_bad.out @@ -1,23 +1,23 @@ %Warning-IMPERFECTSCH: t/t_order_clkinst.v:18:16: Imperfect scheduling of variable: 't.c1_start' - reg c1_start; initial c1_start = 0; - ^~~~~~~~ + 18 | reg c1_start; initial c1_start = 0; + | ^~~~~~~~ ... Use "/* verilator lint_off IMPERFECTSCH */" and lint_on around source to disable this message. %Warning-IMPERFECTSCH: t/t_order_clkinst.v:19:16: Imperfect scheduling of variable: 't.c1_count' - wire [31:0] c1_count; - ^~~~~~~~ + 19 | wire [31:0] c1_count; + | ^~~~~~~~ %Warning-IMPERFECTSCH: t/t_order_clkinst.v:23:16: Imperfect scheduling of variable: 't.s2_count' - wire [31:0] s2_count; - ^~~~~~~~ + 23 | wire [31:0] s2_count; + | ^~~~~~~~ %Warning-IMPERFECTSCH: t/t_order_clkinst.v:27:16: Imperfect scheduling of variable: 't.c3_count' - wire [31:0] c3_count; - ^~~~~~~~ + 27 | wire [31:0] c3_count; + | ^~~~~~~~ %Warning-IMPERFECTSCH: t/t_order_clkinst.v:71:28: Imperfect scheduling of variable: 't.c1.runner' - reg [31:0] runnerm1, runner; initial runner = 0; - ^~~~~~ + 71 | reg [31:0] runnerm1, runner; initial runner = 0; + | ^~~~~~ %Warning-IMPERFECTSCH: t/t_order_clkinst.v:100:28: Imperfect scheduling of variable: 't.s2.runner' - reg [31:0] runnerm1, runner; initial runner = 0; - ^~~~~~ + 100 | reg [31:0] runnerm1, runner; initial runner = 0; + | ^~~~~~ %Warning-IMPERFECTSCH: t/t_order_clkinst.v:71:28: Imperfect scheduling of variable: 't.c3.runner' - reg [31:0] runnerm1, runner; initial runner = 0; - ^~~~~~ + 71 | reg [31:0] runnerm1, runner; initial runner = 0; + | ^~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_package_export_bad.out b/test_regress/t/t_package_export_bad.out index e19092b68..94ff0920b 100644 --- a/test_regress/t/t_package_export_bad.out +++ b/test_regress/t/t_package_export_bad.out @@ -1,25 +1,25 @@ %Error: t/t_package_export.v:57:16: Can't find definition of scope/variable: 'PARAM2' : ... Suggested alternative: 'PARAM1' - reg [pkg11::PARAM2 : 0] bus12; - ^~~~~~ + 57 | reg [pkg11::PARAM2 : 0] bus12; + | ^~~~~~ %Error: t/t_package_export.v:58:16: Can't find definition of scope/variable: 'PARAM3' : ... Suggested alternative: 'PARAM1' - reg [pkg11::PARAM3 : 0] bus13; - ^~~~~~ + 58 | reg [pkg11::PARAM3 : 0] bus13; + | ^~~~~~ %Error: t/t_package_export.v:61:16: Can't find definition of scope/variable: 'PARAM2' : ... Suggested alternative: 'PARAM1' - reg [pkg21::PARAM2 : 0] bus22; - ^~~~~~ + 61 | reg [pkg21::PARAM2 : 0] bus22; + | ^~~~~~ %Error: t/t_package_export.v:62:16: Can't find definition of scope/variable: 'PARAM3' : ... Suggested alternative: 'PARAM1' - reg [pkg21::PARAM3 : 0] bus23; - ^~~~~~ + 62 | reg [pkg21::PARAM3 : 0] bus23; + | ^~~~~~ %Error: t/t_package_export.v:65:16: Can't find definition of scope/variable: 'PARAM2' : ... Suggested alternative: 'PARAM1' - reg [pkg31::PARAM2 : 0] bus32; - ^~~~~~ + 65 | reg [pkg31::PARAM2 : 0] bus32; + | ^~~~~~ %Error: t/t_package_export.v:66:16: Can't find definition of scope/variable: 'PARAM3' : ... Suggested alternative: 'PARAM1' - reg [pkg31::PARAM3 : 0] bus33; - ^~~~~~ + 66 | reg [pkg31::PARAM3 : 0] bus33; + | ^~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_packed_concat_bad.out b/test_regress/t/t_packed_concat_bad.out index 903c3058b..3bbac473d 100644 --- a/test_regress/t/t_packed_concat_bad.out +++ b/test_regress/t/t_packed_concat_bad.out @@ -1,14 +1,14 @@ %Warning-WIDTHCONCAT: t/t_packed_concat_bad.v:17:47: Unsized numbers/parameters not allowed in replications. : ... In instance t - localparam bit_int_t [1:0] count_bits = {2{$bits(count_t)}}; - ^~~~~ + 17 | localparam bit_int_t [1:0] count_bits = {2{$bits(count_t)}}; + | ^~~~~ ... Use "/* verilator lint_off WIDTHCONCAT */" and lint_on around source to disable this message. %Warning-WIDTHCONCAT: t/t_packed_concat_bad.v:18:46: Unsized numbers/parameters not allowed in concatenations. : ... In instance t - localparam bit_int_t [1:0] count_bitsc = {$bits(count_t), $bits(count_t)}; - ^~~~~ + 18 | localparam bit_int_t [1:0] count_bitsc = {$bits(count_t), $bits(count_t)}; + | ^~~~~ %Warning-WIDTHCONCAT: t/t_packed_concat_bad.v:18:60: Unsized numbers/parameters not allowed in replications. : ... In instance t - localparam bit_int_t [1:0] count_bitsc = {$bits(count_t), $bits(count_t)}; - ^ + 18 | localparam bit_int_t [1:0] count_bitsc = {$bits(count_t), $bits(count_t)}; + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_param_circ_bad.out b/test_regress/t/t_param_circ_bad.out index 5c80197f9..ce70ca9d9 100644 --- a/test_regress/t/t_param_circ_bad.out +++ b/test_regress/t/t_param_circ_bad.out @@ -1,5 +1,5 @@ %Error: t/t_param_circ_bad.v:11:43: Variable's initial value is circular: 'X' : ... In instance t.sub -module sub #(parameter WIDTH=X, parameter X=WIDTH) - ^ + 11 | module sub #(parameter WIDTH=X, parameter X=WIDTH) + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_param_concat_bad.out b/test_regress/t/t_param_concat_bad.out index 7bc8f3c8a..5c7036e34 100644 --- a/test_regress/t/t_param_concat_bad.out +++ b/test_regress/t/t_param_concat_bad.out @@ -1,14 +1,14 @@ %Warning-WIDTHCONCAT: t/t_param_concat.v:19:15: Unsized numbers/parameters not allowed in concatenations. : ... In instance t - if ({UNSIZED,UNSIZED+1} != {32'd10, 32'd11}) $stop; - ^~~~~~~ + 19 | if ({UNSIZED,UNSIZED+1} != {32'd10, 32'd11}) $stop; + | ^~~~~~~ ... Use "/* verilator lint_off WIDTHCONCAT */" and lint_on around source to disable this message. %Warning-WIDTHCONCAT: t/t_param_concat.v:19:22: Unsized numbers/parameters not allowed in replications. : ... In instance t - if ({UNSIZED,UNSIZED+1} != {32'd10, 32'd11}) $stop; - ^ + 19 | if ({UNSIZED,UNSIZED+1} != {32'd10, 32'd11}) $stop; + | ^ %Warning-WIDTHCONCAT: t/t_param_concat.v:20:17: Unsized numbers/parameters not allowed in replications. : ... In instance t - if ({2{UNSIZED}} != {32'd10, 32'd10}) $stop; - ^~~~~~~ + 20 | if ({2{UNSIZED}} != {32'd10, 32'd10}) $stop; + | ^~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_param_default_bad.out b/test_regress/t/t_param_default_bad.out index 3c5c77f3f..630da39db 100644 --- a/test_regress/t/t_param_default_bad.out +++ b/test_regress/t/t_param_default_bad.out @@ -1,5 +1,5 @@ %Error: t/t_param_default_bad.v:7:26: Parameter without initial value is never given value (IEEE 1800-2017 6.20.1): 'Foo' : ... In instance t.foo -module m #(parameter int Foo); - ^~~ + 7 | module m #(parameter int Foo); + | ^~~ %Error: Exiting due to diff --git a/test_regress/t/t_param_default_presv_bad.out b/test_regress/t/t_param_default_presv_bad.out index f2a7b44e9..b491e2719 100644 --- a/test_regress/t/t_param_default_presv_bad.out +++ b/test_regress/t/t_param_default_presv_bad.out @@ -1,4 +1,4 @@ %Error: t/t_param_default_bad.v:7:26: Parameter requires default value, or use IEEE 1800-2009 or later. -module m #(parameter int Foo); - ^~~ + 7 | module m #(parameter int Foo); + | ^~~ %Error: Exiting due to diff --git a/test_regress/t/t_param_in_func_bad.out b/test_regress/t/t_param_in_func_bad.out index 9e2129833..6e4c64cef 100644 --- a/test_regress/t/t_param_in_func_bad.out +++ b/test_regress/t/t_param_in_func_bad.out @@ -1,7 +1,7 @@ %Error: t/t_param_in_func_bad.v:24:26: Unsupported: Parameters in functions. - localparam logic[7:0] digits[10] - ^~~~~~ + 24 | localparam logic[7:0] digits[10] + | ^~~~~~ %Error: t/t_param_in_func_bad.v:28:11: Can't find definition of variable: 'digits' - return digits[d]; - ^~~~~~ + 28 | return digits[d]; + | ^~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_param_noval_bad.out b/test_regress/t/t_param_noval_bad.out index c0fc56861..82cc48819 100644 --- a/test_regress/t/t_param_noval_bad.out +++ b/test_regress/t/t_param_noval_bad.out @@ -1,29 +1,29 @@ %Error: t/t_param_noval_bad.v:7:22: Parameter without initial value is never given value (IEEE 1800-2017 6.20.1): 'P' : ... In instance t -module t #(parameter P); - ^ + 7 | module t #(parameter P); + | ^ %Warning-WIDTH: t/t_param_noval_bad.v:10:7: Logical Operator GENFOR expects 1 bit on the For Test Condition, but For Test Condition's VARREF 'P' generates 32 bits. : ... In instance t - for (j=0; P; j++) - ^~~ + 10 | for (j=0; P; j++) + | ^~~ ... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message. %Error: t/t_param_noval_bad.v:10:7: Non-genvar used in generate for: 'j' : ... In instance t - for (j=0; P; j++) - ^~~ + 10 | for (j=0; P; j++) + | ^~~ %Error: t/t_param_noval_bad.v:10:7: Loop unrolling failed. : ... In instance t - for (j=0; P; j++) - ^~~ + 10 | for (j=0; P; j++) + | ^~~ %Error: t/t_param_noval_bad.v:10:7: Unsupported: Can't unroll generate for; Unable to unroll loop : ... In instance t - for (j=0; P; j++) - ^~~ + 10 | for (j=0; P; j++) + | ^~~ %Error: t/t_param_noval_bad.v:10:7: For loop doesn't have genvar index, or is malformed : ... In instance t - for (j=0; P; j++) - ^~~ + 10 | for (j=0; P; j++) + | ^~~ %Error: Internal Error: t/t_param_noval_bad.v:10:7: ../V3Param.cpp:#: GENFOR should have been wrapped in BEGIN : ... In instance t - for (j=0; P; j++) - ^~~ + 10 | for (j=0; P; j++) + | ^~~ diff --git a/test_regress/t/t_param_scope_bad.out b/test_regress/t/t_param_scope_bad.out index 635537671..ca3fc7560 100644 --- a/test_regress/t/t_param_scope_bad.out +++ b/test_regress/t/t_param_scope_bad.out @@ -1,5 +1,5 @@ %Warning-CASEOVERLAP: t/t_param_scope_bad.v:28:9: Case values overlap (example pattern 0x2) - 2'h2: $stop; - ^~~~ + 28 | 2'h2: $stop; + | ^~~~ ... Use "/* verilator lint_off CASEOVERLAP */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_param_sel_range_bad.out b/test_regress/t/t_param_sel_range_bad.out index c1f76bf73..a4dec58b9 100644 --- a/test_regress/t/t_param_sel_range_bad.out +++ b/test_regress/t/t_param_sel_range_bad.out @@ -1,6 +1,6 @@ %Warning-SELRANGE: t/t_param_sel_range.v:43:35: Selection index out of range: 7:7 outside 4:0 : ... In instance t.u2 - r_rst[i] <= r_rst[i-1]; - ^ + 43 | r_rst[i] <= r_rst[i-1]; + | ^ ... Use "/* verilator lint_off SELRANGE */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_param_type_bad.out b/test_regress/t/t_param_type_bad.out index 1f3353b19..b2a9ea9de 100644 --- a/test_regress/t/t_param_type_bad.out +++ b/test_regress/t/t_param_type_bad.out @@ -1,4 +1,4 @@ %Error: t/t_param_type_bad.v:9:27: syntax error, unexpected INTEGER NUMBER, expecting TYPE-IDENTIFIER - localparam type bad2 = 2; - ^ + 9 | localparam type bad2 = 2; + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_param_type_bad2.out b/test_regress/t/t_param_type_bad2.out index 5ab3e9fca..381c74e76 100644 --- a/test_regress/t/t_param_type_bad2.out +++ b/test_regress/t/t_param_type_bad2.out @@ -1,7 +1,7 @@ %Error: t/t_param_type_bad2.v:8:24: syntax error, unexpected ';', expecting "'{" - localparam t = logic; - ^ + 8 | localparam t = logic; + | ^ %Error: t/t_param_type_bad2.v:9:28: syntax error, unexpected ';', expecting "'{" - localparam t2 = realtime; - ^ + 9 | localparam t2 = realtime; + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_param_up_bad.out b/test_regress/t/t_param_up_bad.out index 703e26379..2b2a88e6b 100644 --- a/test_regress/t/t_param_up_bad.out +++ b/test_regress/t/t_param_up_bad.out @@ -1,4 +1,4 @@ %Error: t/t_param_up_bad.v:16:19: Can't find definition of scope/variable: 'bar' - assign a_bad = bar.foo; - ^~~ + 16 | assign a_bad = bar.foo; + | ^~~ %Error: Exiting due to diff --git a/test_regress/t/t_past_bad.out b/test_regress/t/t_past_bad.out index c459a7003..86d72e272 100644 --- a/test_regress/t/t_past_bad.out +++ b/test_regress/t/t_past_bad.out @@ -1,10 +1,10 @@ %Error: t/t_past_bad.v:12:11: $past tick value must be constant (IEEE 1800-2017 16.9.3) : ... In instance t - if ($past(d, 0)) $stop; - ^~~~~ + 12 | if ($past(d, 0)) $stop; + | ^~~~~ %Warning-TICKCOUNT: t/t_past_bad.v:13:20: $past tick value of 10000 may have a large performance cost : ... In instance t - if ($past(d, 10000)) $stop; - ^~~~~ + 13 | if ($past(d, 10000)) $stop; + | ^~~~~ ... Use "/* verilator lint_off TICKCOUNT */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_past_unsup_bad.out b/test_regress/t/t_past_unsup_bad.out index c6554a103..d4a86b845 100644 --- a/test_regress/t/t_past_unsup_bad.out +++ b/test_regress/t/t_past_unsup_bad.out @@ -1,4 +1,4 @@ %Error: t/t_past_unsup_bad.v:13:11: Unsupported: $past expr2 and clock arguments - if ($past(d, 0, 0, 0)) $stop; - ^~~~~ + 13 | if ($past(d, 0, 0, 0)) $stop; + | ^~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_pp_defparen_bad.out b/test_regress/t/t_pp_defparen_bad.out index 6067513f8..c6c16d023 100644 --- a/test_regress/t/t_pp_defparen_bad.out +++ b/test_regress/t/t_pp_defparen_bad.out @@ -1,7 +1,7 @@ %Error: t/t_pp_defparen_bad.v:10:2: Illegal text before '(' that starts define arguments - ( 1,2) - ^ + 10 | ( 1,2) + | ^ %Error: t/t_pp_defparen_bad.v:10:2: syntax error, unexpected '(' -((val 1) + (2)) - ^ + 10 | ((val 1) + (2)) + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_pp_line_bad.out b/test_regress/t/t_pp_line_bad.out index 55491de3b..15958d5ff 100644 --- a/test_regress/t/t_pp_line_bad.out +++ b/test_regress/t/t_pp_line_bad.out @@ -1,15 +1,13 @@ %Error: t/t_pp_line_bad.v:100:1: `line was not properly formed with '`line number "filename" level' -`line 100 -^ + 100 | `line 100 + | ^ %Error: somefile:100:1: `line was not properly formed with '`line number "filename" level' -`line 100 -^ + 100 | `line 100 + | ^ %Error: somefile:100:1: `line was not properly formed with '`line number "filename" level' -%Error: internal tracking of file contents failed -^ %Error: t/t_pp_line_bad.v:7:1: Define or directive not defined: '`line' -`line -^~~~~ + 7 | `line + | ^~~~~ %Error: somefile:100:1: `line was not properly formed with '`line number "filename" level' t/t_pp_line_bad.v:101:1: ... note: In file included from t_pp_line_bad.v %Error: Exiting due to diff --git a/test_regress/t/t_pp_misdef_bad.out b/test_regress/t/t_pp_misdef_bad.out index 13f9309f9..4e32fd0ae 100644 --- a/test_regress/t/t_pp_misdef_bad.out +++ b/test_regress/t/t_pp_misdef_bad.out @@ -1,9 +1,9 @@ %Error: t/t_pp_misdef_bad.v:11:4: Define or directive not defined: '`NDEFINED' : ... Suggested alternative: '`DEFINED' - `NDEFINED - ^~~~~~~~~ + 11 | `NDEFINED + | ^~~~~~~~~ %Error: t/t_pp_misdef_bad.v:14:6: Define or directive not defined: '`imescale' : ... Suggested alternative: '`timescale' - `imescale - ^~~~~~~~~ + 14 | `imescale + | ^~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_pp_pragma_bad.out b/test_regress/t/t_pp_pragma_bad.out index 98704a77e..912313652 100644 --- a/test_regress/t/t_pp_pragma_bad.out +++ b/test_regress/t/t_pp_pragma_bad.out @@ -1,6 +1,6 @@ %Error: t/t_pp_pragma_bad.v:7:1: `pragma is missing a pragma_expression. -`pragma -^~~~~~~ + 7 | `pragma + | ^~~~~~~ `line 1 "t/t_pp_pragma_bad.v" 1 diff --git a/test_regress/t/t_pp_resetall_bad.out b/test_regress/t/t_pp_resetall_bad.out index 65d94e73b..123e39280 100644 --- a/test_regress/t/t_pp_resetall_bad.out +++ b/test_regress/t/t_pp_resetall_bad.out @@ -1,4 +1,4 @@ %Error: t/t_pp_resetall_bad.v:9:1: syntax error, unexpected `resetall -`resetall -^~~~~~~~~ + 9 | `resetall + | ^~~~~~~~~ %Error: Cannot continue diff --git a/test_regress/t/t_pp_underline_bad.out b/test_regress/t/t_pp_underline_bad.out index 83a0056c5..b68627482 100644 --- a/test_regress/t/t_pp_underline_bad.out +++ b/test_regress/t/t_pp_underline_bad.out @@ -1,7 +1,7 @@ %Error: t/t_pp_underline_bad.v:8:4: Extra underscore in meta-comment; use /*verilator {...}*/ not /*verilator_{...}*/ - // verilator_no_inline_module - ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ + 8 | // verilator_no_inline_module + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ %Error: t/t_pp_underline_bad.v:8:4: Unknown verilator comment: /*verilator _no_inline_module*/ - /*verilator _no_inline_module*/ - ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ + 8 | /*verilator _no_inline_module*/ + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_preproc_inc_bad.out b/test_regress/t/t_preproc_inc_bad.out index 143bac2b9..295d92512 100644 --- a/test_regress/t/t_preproc_inc_bad.out +++ b/test_regress/t/t_preproc_inc_bad.out @@ -1,5 +1,5 @@ %Error: t/t_preproc_inc_inc_bad.vh:11:1: syntax error, unexpected endmodule, expecting IDENTIFIER -endmodule -^~~~~~~~~ + 11 | endmodule + | ^~~~~~~~~ t/t_preproc_inc_bad.v:10:1: ... note: In file included from t_preproc_inc_bad.v %Error: Exiting due to diff --git a/test_regress/t/t_preproc_inc_notfound_bad.out b/test_regress/t/t_preproc_inc_notfound_bad.out index c1c212630..d2d6ba31d 100644 --- a/test_regress/t/t_preproc_inc_notfound_bad.out +++ b/test_regress/t/t_preproc_inc_notfound_bad.out @@ -1,6 +1,6 @@ %Error: t/t_preproc_inc_notfound_bad.v:7:10: Cannot find include file: this_file_is_not_found.vh -`include "this_file_is_not_found.vh" - ^~~~~~~~~~~~~~~~~~~~~~~~~~~ + 7 | `include "this_file_is_not_found.vh" + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~ ... Looked in: t/this_file_is_not_found.vh t/this_file_is_not_found.vh.v diff --git a/test_regress/t/t_preproc_inc_recurse_bad.out b/test_regress/t/t_preproc_inc_recurse_bad.out index c6d574720..1751134af 100644 --- a/test_regress/t/t_preproc_inc_recurse_bad.out +++ b/test_regress/t/t_preproc_inc_recurse_bad.out @@ -1,4 +1,4 @@ %Error: t/t_preproc_inc_recurse_bad.v:7:10: Recursive inclusion of file: t/t_preproc_inc_recurse_bad.v -`include "t_preproc_inc_recurse_bad.v" - ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ + 7 | `include "t_preproc_inc_recurse_bad.v" + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_prot_lib_inout_bad.out b/test_regress/t/t_prot_lib_inout_bad.out index 96c966934..681f98209 100644 --- a/test_regress/t/t_prot_lib_inout_bad.out +++ b/test_regress/t/t_prot_lib_inout_bad.out @@ -1,4 +1,4 @@ %Error: t/t_prot_lib_inout_bad.v:9:28: Unsupported: protect-lib port direction: INOUT - inout z, - ^ + 9 | inout z, + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_prot_lib_unpacked_bad.out b/test_regress/t/t_prot_lib_unpacked_bad.out index 53cd93e93..afd642456 100644 --- a/test_regress/t/t_prot_lib_unpacked_bad.out +++ b/test_regress/t/t_prot_lib_unpacked_bad.out @@ -1,7 +1,7 @@ %Error: t/t_prot_lib_unpacked_bad.v:7:28: Unsupported: unpacked arrays with protect-lib on 'unpacked_in' - input unpacked_in [7:0], - ^~~~~~~~~~~ + 7 | input unpacked_in [7:0], + | ^~~~~~~~~~~ %Error: t/t_prot_lib_unpacked_bad.v:8:28: Unsupported: unpacked arrays with protect-lib on 'unpacked_out' - output unpacked_out [7:0]); - ^~~~~~~~~~~~ + 8 | output unpacked_out [7:0]); + | ^~~~~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_queue_unsup_bad.out b/test_regress/t/t_queue_unsup_bad.out index b9fd8400e..8c82b034b 100644 --- a/test_regress/t/t_queue_unsup_bad.out +++ b/test_regress/t/t_queue_unsup_bad.out @@ -1,61 +1,61 @@ %Error: t/t_queue_unsup_bad.v:21:11: Unsupported: Replication to form 'string[$]' data type : ... In instance t - q = {"q", "b", "c", "d", "e", "f"}; - ^ + 21 | q = {"q", "b", "c", "d", "e", "f"}; + | ^ %Error: t/t_queue_unsup_bad.v:24:9: Unsupported: Queue .delete(index) method, as is O(n) complexity and slow. : ... In instance t - q.delete(1); - ^~~~~~ + 24 | q.delete(1); + | ^~~~~~ %Error: t/t_queue_unsup_bad.v:28:9: Unsupported: Queue .insert method, as is O(n) complexity and slow. : ... In instance t - q.insert(2, "ins2"); - ^~~~~~ + 28 | q.insert(2, "ins2"); + | ^~~~~~ %Error: t/t_queue_unsup_bad.v:34:11: Unsupported: Replication to form 'string[$]' data type : ... In instance t - q = {q, "f1"}; - ^ + 34 | q = {q, "f1"}; + | ^ %Error: t/t_queue_unsup_bad.v:35:11: Unsupported: Replication to form 'string[$]' data type : ... In instance t - q = {q, "f2"}; - ^ + 35 | q = {q, "f2"}; + | ^ %Error: t/t_queue_unsup_bad.v:36:11: Unsupported: Replication to form 'string[$]' data type : ... In instance t - q = {"b1", q}; - ^ + 36 | q = {"b1", q}; + | ^ %Error: t/t_queue_unsup_bad.v:37:11: Unsupported: Replication to form 'string[$]' data type : ... In instance t - q = {"b2", q}; - ^ + 37 | q = {"b2", q}; + | ^ %Error: t/t_queue_unsup_bad.v:38:11: Unsupported: Replication to form 'string[$]' data type : ... In instance t - q = {q[0], q[2:$]}; - ^ + 38 | q = {q[0], q[2:$]}; + | ^ %Error: t/t_queue_unsup_bad.v:38:22: Unsupported/illegal unbounded ('$') in this context. : ... In instance t - q = {q[0], q[2:$]}; - ^ + 38 | q = {q[0], q[2:$]}; + | ^ %Error: t/t_queue_unsup_bad.v:38:22: Expecting expression to be constant, but can't convert a UNBOUNDED to constant. : ... In instance t - q = {q[0], q[2:$]}; - ^ + 38 | q = {q[0], q[2:$]}; + | ^ %Error: t/t_queue_unsup_bad.v:38:22: First value of [a:b] isn't a constant, maybe you want +: or -: : ... In instance t - q = {q[0], q[2:$]}; - ^ + 38 | q = {q[0], q[2:$]}; + | ^ %Error: t/t_queue_unsup_bad.v:38:19: Illegal range select; type already selected, or bad dimension: data type is 'string[$]' : ... In instance t - q = {q[0], q[2:$]}; - ^ + 38 | q = {q[0], q[2:$]}; + | ^ %Error: t/t_queue_unsup_bad.v:42:25: Unsupported: Replication to form 'string[$]' data type : ... In instance t - string ai[$] = { "Foo", "Bar" }; - ^ + 42 | string ai[$] = { "Foo", "Bar" }; + | ^ %Error: t/t_queue_unsup_bad.v:47:14: Unsupported: Assignment pattern applies against non struct/union data type: 'string[$]' : ... In instance t - q = '{ "BB", "CC" }; - ^~ + 47 | q = '{ "BB", "CC" }; + | ^~ %Error: t/t_queue_unsup_bad.v:50:14: Unsupported: Replication to form 'string[$]' data type : ... In instance t - q = { "BB", "CC" }; - ^ + 50 | q = { "BB", "CC" }; + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_select_bad_msb.out b/test_regress/t/t_select_bad_msb.out index 1e1c1b668..98533f4d2 100644 --- a/test_regress/t/t_select_bad_msb.out +++ b/test_regress/t/t_select_bad_msb.out @@ -1,9 +1,9 @@ %Warning-LITENDIAN: t/t_select_bad_msb.v:12:8: Little bit endian vector: MSB < LSB of bit range: 0:22 - reg [0:22] backwd; - ^ + 12 | reg [0:22] backwd; + | ^ ... Use "/* verilator lint_off LITENDIAN */" and lint_on around source to disable this message. %Error: t/t_select_bad_msb.v:16:16: [1:4] Range extract has backward bit ordering, perhaps you wanted [4:1] : ... In instance t - sel2 = mi[1:4]; - ^ + 16 | sel2 = mi[1:4]; + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_select_bad_range.out b/test_regress/t/t_select_bad_range.out index 6f24caae1..c72a978d5 100644 --- a/test_regress/t/t_select_bad_range.out +++ b/test_regress/t/t_select_bad_range.out @@ -1,10 +1,10 @@ %Warning-SELRANGE: t/t_select_bad_range.v:16:15: Selection index out of range: 44:44 outside 43:0 : ... In instance t - sel = mi[44]; - ^ + 16 | sel = mi[44]; + | ^ ... Use "/* verilator lint_off SELRANGE */" and lint_on around source to disable this message. %Warning-SELRANGE: t/t_select_bad_range.v:17:16: Selection index out of range: 44:41 outside 43:0 : ... In instance t - sel2 = mi[44:41]; - ^ + 17 | sel2 = mi[44:41]; + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_select_bad_range2.out b/test_regress/t/t_select_bad_range2.out index 6cdfc774f..fc2bb2d0d 100644 --- a/test_regress/t/t_select_bad_range2.out +++ b/test_regress/t/t_select_bad_range2.out @@ -1,6 +1,6 @@ %Warning-SELRANGE: t/t_select_bad_range2.v:51:21: Selection index out of range: 3:2 outside 1:0 : ... In instance t.test - assign out32 = in[3:2]; - ^ + 51 | assign out32 = in[3:2]; + | ^ ... Use "/* verilator lint_off SELRANGE */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_select_bad_range3.out b/test_regress/t/t_select_bad_range3.out index b41c157da..30c14d08d 100644 --- a/test_regress/t/t_select_bad_range3.out +++ b/test_regress/t/t_select_bad_range3.out @@ -1,6 +1,6 @@ %Warning-SELRANGE: t/t_select_bad_range3.v:19:33: Selection index out of range: 13 outside 12:10 : ... In instance t - assign outwires[12] = inwires[13]; - ^ + 19 | assign outwires[12] = inwires[13]; + | ^ ... Use "/* verilator lint_off SELRANGE */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_select_bad_tri.out b/test_regress/t/t_select_bad_tri.out index 5bdaddc87..fd015e9f8 100644 --- a/test_regress/t/t_select_bad_tri.out +++ b/test_regress/t/t_select_bad_tri.out @@ -1,5 +1,5 @@ %Error: t/t_select_bad_tri.v:11:13: Selection index is constantly unknown or tristated: lsb=7'bxxxxxxx width=32'sh47 : ... In instance t - if (in[( (1'h0 / 1'b0) )+:71] != 71'h0) $stop; - ^ + 11 | if (in[( (1'h0 / 1'b0) )+:71] != 71'h0) $stop; + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_split_var_1_bad.out b/test_regress/t/t_split_var_1_bad.out index 46411de8c..b51f38b0b 100644 --- a/test_regress/t/t_split_var_1_bad.out +++ b/test_regress/t/t_split_var_1_bad.out @@ -1,65 +1,65 @@ %Warning-SPLITVAR: t/t_split_var_1_bad.v:7:13: 'should_show_warning_global0' has split_var metacomment, but will not be split because it is not declared in a module. -logic [7:0] should_show_warning_global0 /*verilator split_var*/ ; - ^~~~~~~~~~~~~~~~~~~~~~~~~~~ + 7 | logic [7:0] should_show_warning_global0 /*verilator split_var*/ ; + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~ ... Use "/* verilator lint_off SPLITVAR */" and lint_on around source to disable this message. %Warning-SPLITVAR: t/t_split_var_1_bad.v:8:13: 'should_show_warning_global1' has split_var metacomment, but will not be split because it is not declared in a module. -logic [7:0] should_show_warning_global1 [1:0] /*verilator split_var*/ ; - ^~~~~~~~~~~~~~~~~~~~~~~~~~~ + 8 | logic [7:0] should_show_warning_global1 [1:0] /*verilator split_var*/ ; + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~ %Warning-SPLITVAR: t/t_split_var_1_bad.v:11:16: 'should_show_warning_ifs0' has split_var metacomment, but will not be split because it is not declared in a module. - logic [7:0] should_show_warning_ifs0 /*verilator split_var*/ ; - ^~~~~~~~~~~~~~~~~~~~~~~~ + 11 | logic [7:0] should_show_warning_ifs0 /*verilator split_var*/ ; + | ^~~~~~~~~~~~~~~~~~~~~~~~ %Warning-SPLITVAR: t/t_split_var_1_bad.v:12:16: 'should_show_warning_ifs1' has split_var metacomment, but will not be split because it is not declared in a module. - logic [7:0] should_show_warning_ifs1 [1:0] /*verilator split_var*/ ; - ^~~~~~~~~~~~~~~~~~~~~~~~ + 12 | logic [7:0] should_show_warning_ifs1 [1:0] /*verilator split_var*/ ; + | ^~~~~~~~~~~~~~~~~~~~~~~~ %Warning-SPLITVAR: t/t_split_var_1_bad.v:38:14: 'cannot_split1' has split_var metacomment but will not be split because it is accessed from another module via a dot. - i_sub0.cannot_split1[0] = 0; - ^~~~~~~~~~~~~ + 38 | i_sub0.cannot_split1[0] = 0; + | ^~~~~~~~~~~~~ %Warning-SELRANGE: t/t_split_var_1_bad.v:83:33: Selection index out of range: 13 outside 12:10 : ... In instance t.i_sub3 - assign outwires[12] = inwires[13]; - ^ + 83 | assign outwires[12] = inwires[13]; + | ^ %Warning-WIDTH: t/t_split_var_1_bad.v:39:31: Operator ASSIGN expects 8 bits on the Assign RHS, but Assign RHS's FUNCREF 'bad_func' generates 32 bits. : ... In instance t - i_sub0.cannot_split1[1] = bad_func(addr, rd_data0); - ^ + 39 | i_sub0.cannot_split1[1] = bad_func(addr, rd_data0); + | ^ %Error: t/t_split_var_1_bad.v:72:16: Illegal assignment of constant to unpacked array : ... In instance t.i_sub2 - assign b = a[0]; - ^ + 72 | assign b = a[0]; + | ^ %Warning-SPLITVAR: t/t_split_var_1_bad.v:51:31: 'cannot_split0' has split_var metacomment but will not be split because index cannot be determined statically. : ... In instance t.i_sub0 - rd_data = cannot_split0[addr]; - ^~~~ + 51 | rd_data = cannot_split0[addr]; + | ^~~~ %Warning-SPLITVAR: t/t_split_var_1_bad.v:83:34: 'inwires' has split_var metacomment but will not be split because index is out of range. : ... In instance t.i_sub3 - assign outwires[12] = inwires[13]; - ^~ + 83 | assign outwires[12] = inwires[13]; + | ^~ %Warning-SPLITVAR: t/t_split_var_1_bad.v:17:9: 'should_show_warning0' has split_var metacomment but will not be split because it is not an aggregate type of bit nor logic : ... In instance t - real should_show_warning0 /*verilator split_var*/ ; - ^~~~~~~~~~~~~~~~~~~~ + 17 | real should_show_warning0 /*verilator split_var*/ ; + | ^~~~~~~~~~~~~~~~~~~~ %Warning-SPLITVAR: t/t_split_var_1_bad.v:18:11: 'should_show_warning1' has split_var metacomment but will not be split because it is not an aggregate type of bit nor logic : ... In instance t - string should_show_warning1 /*verilator split_var*/ ; - ^~~~~~~~~~~~~~~~~~~~ + 18 | string should_show_warning1 /*verilator split_var*/ ; + | ^~~~~~~~~~~~~~~~~~~~ %Warning-SPLITVAR: t/t_split_var_1_bad.v:19:11: 'should_show_warning2' has split_var metacomment but will not be split because its bitwidth is 1 : ... In instance t - wire should_show_warning2 /*verilator split_var*/ ; - ^~~~~~~~~~~~~~~~~~~~ + 19 | wire should_show_warning2 /*verilator split_var*/ ; + | ^~~~~~~~~~~~~~~~~~~~ %Warning-SPLITVAR: t/t_split_var_1_bad.v:30:44: 'inout_port' has split_var metacomment but will not be split because it is an inout port : ... In instance t - function int bad_func(inout logic [3:0] inout_port /*verilator split_var*/ , - ^~~~~~~~~~ + 30 | function int bad_func(inout logic [3:0] inout_port /*verilator split_var*/ , + | ^~~~~~~~~~ %Warning-SPLITVAR: t/t_split_var_1_bad.v:31:42: 'ref_port' has split_var metacomment but will not be split because it is a ref argument : ... In instance t - ref logic [7:0] ref_port /*verilator split_var*/ ); - ^~~~~~~~ + 31 | ref logic [7:0] ref_port /*verilator split_var*/ ); + | ^~~~~~~~ %Warning-SPLITVAR: t/t_split_var_1_bad.v:57:11: 'cannot_split_genvar' has split_var metacomment but will not be split because it is not an aggregate type of bit nor logic : ... In instance t.i_sub1 - genvar cannot_split_genvar /*verilator split_var*/ ; - ^~~~~~~~~~~~~~~~~~~ + 57 | genvar cannot_split_genvar /*verilator split_var*/ ; + | ^~~~~~~~~~~~~~~~~~~ %Warning-SPLITVAR: t/t_split_var_1_bad.v:60:29: 'cannot_split' has split_var metacomment but will not be split because its bit range cannot be determined statically. : ... In instance t.i_sub1 - rd_data = cannot_split[addr]; - ^ + 60 | rd_data = cannot_split[addr]; + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_string_type_methods_bad.out b/test_regress/t/t_string_type_methods_bad.out index 0b88d70b2..69015ba0f 100644 --- a/test_regress/t/t_string_type_methods_bad.out +++ b/test_regress/t/t_string_type_methods_bad.out @@ -1,13 +1,13 @@ %Error: t/t_string_type_methods_bad.v:15:13: The 1 arguments passed to .len method does not match its requiring 0 arguments : ... In instance t - i = s.len(0); - ^~~ + 15 | i = s.len(0); + | ^~~ %Error: t/t_string_type_methods_bad.v:16:9: The 0 arguments passed to .itoa method does not match its requiring 1 arguments : ... In instance t - s.itoa; - ^~~~ + 16 | s.itoa; + | ^~~~ %Error: t/t_string_type_methods_bad.v:17:9: The 3 arguments passed to .itoa method does not match its requiring 1 arguments : ... In instance t - s.itoa(1,2,3); - ^~~~ + 17 | s.itoa(1,2,3); + | ^~~~ %Error: Exiting due to diff --git a/test_regress/t/t_struct_init_bad.out b/test_regress/t/t_struct_init_bad.out index e603f8f95..739b169af 100644 --- a/test_regress/t/t_struct_init_bad.out +++ b/test_regress/t/t_struct_init_bad.out @@ -1,5 +1,5 @@ %Error: t/t_struct_init.v:54:40: Assignment pattern contains duplicate entry: b1 : ... In instance t - const b4_t b4_const_c = '{b1: 1'b1, b1: 1'b0, b0:1'b0, b2: 1'b1, b3: 1'b1}; - ^~ + 54 | const b4_t b4_const_c = '{b1: 1'b1, b1: 1'b0, b0:1'b0, b2: 1'b1, b3: 1'b1}; + | ^~ %Error: Exiting due to diff --git a/test_regress/t/t_struct_notfound_bad.out b/test_regress/t/t_struct_notfound_bad.out index ac911cd74..f35348c30 100644 --- a/test_regress/t/t_struct_notfound_bad.out +++ b/test_regress/t/t_struct_notfound_bad.out @@ -1,5 +1,5 @@ %Error: t/t_struct_notfound_bad.v:13:9: Member 'nfmember' not found in structure : ... In instance t - s.nfmember = 0; - ^~~~~~~~ + 13 | s.nfmember = 0; + | ^~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_struct_unpacked_bad.out b/test_regress/t/t_struct_unpacked_bad.out index 06891f58d..96bc2b963 100644 --- a/test_regress/t/t_struct_unpacked_bad.out +++ b/test_regress/t/t_struct_unpacked_bad.out @@ -1,5 +1,5 @@ %Warning-UNPACKED: t/t_struct_unpacked_bad.v:9:12: Unsupported: Unpacked struct/union - typedef struct { - ^~~~~~ + 9 | typedef struct { + | ^~~~~~ ... Use "/* verilator lint_off UNPACKED */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_sys_readmem_assoc_bad.out b/test_regress/t/t_sys_readmem_assoc_bad.out index de45f971e..ccb95325d 100644 --- a/test_regress/t/t_sys_readmem_assoc_bad.out +++ b/test_regress/t/t_sys_readmem_assoc_bad.out @@ -1,9 +1,9 @@ %Error: t/t_sys_readmem_assoc_bad.v:13:24: $readmemb address/key must be integral (IEEE 1800-2017 21.4.1) : ... In instance t - $readmemb("not", assoc_bad_key); - ^~~~~~~~~~~~~ + 13 | $readmemb("not", assoc_bad_key); + | ^~~~~~~~~~~~~ %Error: t/t_sys_readmem_assoc_bad.v:14:24: Unsupported: $readmemb array values must be integral : ... In instance t - $readmemb("not", assoc_bad_value); - ^~~~~~~~~~~~~~~ + 14 | $readmemb("not", assoc_bad_value); + | ^~~~~~~~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_tri_compass_bad.out b/test_regress/t/t_tri_compass_bad.out index cf023db6c..a7cdf0192 100644 --- a/test_regress/t/t_tri_compass_bad.out +++ b/test_regress/t/t_tri_compass_bad.out @@ -1,5 +1,5 @@ %Error: t/t_tri_compass_bad.v:16:12: Unsupported: tristate in top-level IO: '__pinNumber1' : ... In instance t - sub sub(i, o); - ^ + 16 | sub sub(i, o); + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_tri_pull2_bad.out b/test_regress/t/t_tri_pull2_bad.out index 4d6cd5b37..f80de4b1f 100644 --- a/test_regress/t/t_tri_pull2_bad.out +++ b/test_regress/t/t_tri_pull2_bad.out @@ -1,8 +1,8 @@ %Error: t/t_tri_pull2_bad.v:12:11: Unsupported: Conflicting pull directions. : ... In instance t - pullup p1(A); - ^~ + 12 | pullup p1(A); + | ^~ t/t_tri_pull2_bad.v:22:13: ... Location of conflicting pull. - pulldown p2(A); - ^~ + 22 | pulldown p2(A); + | ^~ %Error: Exiting due to diff --git a/test_regress/t/t_tri_pull_bad.out b/test_regress/t/t_tri_pull_bad.out index 5e3c5d509..f9e60554b 100644 --- a/test_regress/t/t_tri_pull_bad.out +++ b/test_regress/t/t_tri_pull_bad.out @@ -1,8 +1,8 @@ %Error: t/t_tri_pull_bad.v:13:13: Unsupported: Conflicting pull directions. : ... In instance t - pulldown p2(A); - ^~ + 13 | pulldown p2(A); + | ^~ t/t_tri_pull_bad.v:12:11: ... Location of conflicting pull. - pullup p1(A); - ^~ + 12 | pullup p1(A); + | ^~ %Error: Exiting due to diff --git a/test_regress/t/t_tri_pullvec_bad.out b/test_regress/t/t_tri_pullvec_bad.out index e16c7a437..68bf7c55d 100644 --- a/test_regress/t/t_tri_pullvec_bad.out +++ b/test_regress/t/t_tri_pullvec_bad.out @@ -1,15 +1,15 @@ %Error: t/t_tri_pullvec_bad.v:13:13: Unsupported: Conflicting pull directions. : ... In instance t - pulldown p1 (w[1]); - ^~ + 13 | pulldown p1 (w[1]); + | ^~ t/t_tri_pullvec_bad.v:12:11: ... Location of conflicting pull. - pullup p0 (w[0]); - ^~ + 12 | pullup p0 (w[0]); + | ^~ %Error: t/t_tri_pullvec_bad.v:14:13: Unsupported: Conflicting pull directions. : ... In instance t - pulldown p2 (w[2]); - ^~ + 14 | pulldown p2 (w[2]); + | ^~ t/t_tri_pullvec_bad.v:12:11: ... Location of conflicting pull. - pullup p0 (w[0]); - ^~ + 12 | pullup p0 (w[0]); + | ^~ %Error: Exiting due to diff --git a/test_regress/t/t_typedef_circ_bad.out b/test_regress/t/t_typedef_circ_bad.out index ee3e45e48..4c0dd704b 100644 --- a/test_regress/t/t_typedef_circ_bad.out +++ b/test_regress/t/t_typedef_circ_bad.out @@ -1,4 +1,4 @@ %Error: t/t_typedef_circ_bad.v:8:9: Typedef's type is circular: a_t -typedef a_t b_t; - ^~~ + 8 | typedef a_t b_t; + | ^~~ %Error: Exiting due to diff --git a/test_regress/t/t_typedef_unused_bad.out b/test_regress/t/t_typedef_unused_bad.out index da1d69eae..0d5e678af 100644 --- a/test_regress/t/t_typedef_unused_bad.out +++ b/test_regress/t/t_typedef_unused_bad.out @@ -1,4 +1,4 @@ %Error: t/t_typedef_unused_bad.v:9:9: Forward typedef unused or does not resolve to a data type (IEEE 1800-2017 6.18): 'fwd_undecl_t' -typedef fwd_undecl_t; - ^~~~~~~~~~~~ + 9 | typedef fwd_undecl_t; + | ^~~~~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_udp_bad.out b/test_regress/t/t_udp_bad.out index b8a0254f5..ff1599baa 100644 --- a/test_regress/t/t_udp_bad.out +++ b/test_regress/t/t_udp_bad.out @@ -1,4 +1,4 @@ %Error: t/t_udp.v:104:4: Unsupported: Verilog 1995 UDP Tables. Use --bbox-unsup to ignore tables. - table - ^~~~~ + 104 | table + | ^~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_unopt_combo_bad.out b/test_regress/t/t_unopt_combo_bad.out index 6a51bf501..a4be2fab5 100644 --- a/test_regress/t/t_unopt_combo_bad.out +++ b/test_regress/t/t_unopt_combo_bad.out @@ -1,6 +1,6 @@ %Warning-UNOPTFLAT: t/t_unopt_combo.v:24:25: Signal unoptimizable: Feedback to clock or circular logic: 't.c' - wire [31:0] c; - ^ + 24 | wire [31:0] c; + | ^ ... Use "/* verilator lint_off UNOPTFLAT */" and lint_on around source to disable this message. t/t_unopt_combo.v:24:25: Example path: t.c t/t_unopt_combo.v:81:4: Example path: ALWAYS diff --git a/test_regress/t/t_unopt_converge_unopt_bad.out b/test_regress/t/t_unopt_converge_unopt_bad.out index 80f01689c..2a978fa65 100644 --- a/test_regress/t/t_unopt_converge_unopt_bad.out +++ b/test_regress/t/t_unopt_converge_unopt_bad.out @@ -1,6 +1,6 @@ %Warning-UNOPT: t/t_unopt_converge.v:19:11: Signal unoptimizable: Feedback to public clock or circular logic: 'x' - output x; - ^ + 19 | output x; + | ^ ... Use "/* verilator lint_off UNOPT */" and lint_on around source to disable this message. t/t_unopt_converge.v:19:11: Example path: x t/t_unopt_converge.v:22:4: Example path: ALWAYS diff --git a/test_regress/t/t_unoptflat_simple_2_bad.out b/test_regress/t/t_unoptflat_simple_2_bad.out index fb16d528f..e03cad9b2 100644 --- a/test_regress/t/t_unoptflat_simple_2_bad.out +++ b/test_regress/t/t_unoptflat_simple_2_bad.out @@ -1,6 +1,6 @@ %Warning-UNOPTFLAT: t/t_unoptflat_simple_2.v:15:15: Signal unoptimizable: Feedback to clock or circular logic: 't.x' - wire [2:0] x; - ^ + 15 | wire [2:0] x; + | ^ ... Use "/* verilator lint_off UNOPTFLAT */" and lint_on around source to disable this message. t/t_unoptflat_simple_2.v:15:15: Example path: t.x t/t_unoptflat_simple_2.v:17:18: Example path: ASSIGNW diff --git a/test_regress/t/t_unpacked_concat_bad.out b/test_regress/t/t_unpacked_concat_bad.out index 729c47cdd..f47940153 100644 --- a/test_regress/t/t_unpacked_concat_bad.out +++ b/test_regress/t/t_unpacked_concat_bad.out @@ -1,22 +1,22 @@ %Error: t/t_unpacked_concat_bad.v:17:46: Unsupported: Replication to form 'bit[31:0]$[1:0]' data type : ... In instance t - localparam bit_int_t count_bits [1:0] = {2{$bits(count_t)}}; - ^ + 17 | localparam bit_int_t count_bits [1:0] = {2{$bits(count_t)}}; + | ^ %Warning-WIDTHCONCAT: t/t_unpacked_concat_bad.v:17:47: Unsized numbers/parameters not allowed in replications. : ... In instance t - localparam bit_int_t count_bits [1:0] = {2{$bits(count_t)}}; - ^~~~~ + 17 | localparam bit_int_t count_bits [1:0] = {2{$bits(count_t)}}; + | ^~~~~ ... Use "/* verilator lint_off WIDTHCONCAT */" and lint_on around source to disable this message. %Error: t/t_unpacked_concat_bad.v:18:45: Unsupported: Replication to form 'bit[31:0]$[1:0]' data type : ... In instance t - localparam bit_int_t count_bitsc [1:0] = {$bits(count_t), $bits(count_t)}; - ^ + 18 | localparam bit_int_t count_bitsc [1:0] = {$bits(count_t), $bits(count_t)}; + | ^ %Warning-WIDTHCONCAT: t/t_unpacked_concat_bad.v:18:46: Unsized numbers/parameters not allowed in concatenations. : ... In instance t - localparam bit_int_t count_bitsc [1:0] = {$bits(count_t), $bits(count_t)}; - ^~~~~ + 18 | localparam bit_int_t count_bitsc [1:0] = {$bits(count_t), $bits(count_t)}; + | ^~~~~ %Warning-WIDTHCONCAT: t/t_unpacked_concat_bad.v:18:60: Unsized numbers/parameters not allowed in replications. : ... In instance t - localparam bit_int_t count_bitsc [1:0] = {$bits(count_t), $bits(count_t)}; - ^ + 18 | localparam bit_int_t count_bitsc [1:0] = {$bits(count_t), $bits(count_t)}; + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_var_bad_hide.out b/test_regress/t/t_var_bad_hide.out index fe56d63c8..7746fd863 100644 --- a/test_regress/t/t_var_bad_hide.out +++ b/test_regress/t/t_var_bad_hide.out @@ -1,14 +1,14 @@ %Warning-VARHIDDEN: t/t_var_bad_hide.v:16:14: Declaration of signal hides declaration in upper scope: 'top' - output top; - ^~~ + 16 | output top; + | ^~~ t/t_var_bad_hide.v:13:12: ... Location of original declaration - integer top; - ^~~ + 13 | integer top; + | ^~~ ... Use "/* verilator lint_off VARHIDDEN */" and lint_on around source to disable this message. %Warning-VARHIDDEN: t/t_var_bad_hide.v:22:18: Declaration of signal hides declaration in upper scope: 'top' - integer top; - ^~~ + 22 | integer top; + | ^~~ t/t_var_bad_hide.v:13:12: ... Location of original declaration - integer top; - ^~~ + 13 | integer top; + | ^~~ %Error: Exiting due to diff --git a/test_regress/t/t_var_bad_hide2.out b/test_regress/t/t_var_bad_hide2.out index 7cbda754b..3318750c1 100644 --- a/test_regress/t/t_var_bad_hide2.out +++ b/test_regress/t/t_var_bad_hide2.out @@ -1,8 +1,8 @@ %Warning-VARHIDDEN: t/t_var_bad_hide2.v:14:12: Declaration of signal hides declaration in upper scope: 't' - integer t; - ^ + 14 | integer t; + | ^ t/t_var_bad_hide2.v:7:8: ... Location of original declaration -module t; - ^ + 7 | module t; + | ^ ... Use "/* verilator lint_off VARHIDDEN */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_var_bad_sameas.out b/test_regress/t/t_var_bad_sameas.out index 0edfcb5c4..e2a345466 100644 --- a/test_regress/t/t_var_bad_sameas.out +++ b/test_regress/t/t_var_bad_sameas.out @@ -1,31 +1,31 @@ %Error: t/t_var_bad_sameas.v:10:8: Unsupported in C: Cell has the same name as variable: 'varfirst' - sub varfirst (); - ^~~~~~~~ + 10 | sub varfirst (); + | ^~~~~~~~ t/t_var_bad_sameas.v:9:12: ... Location of original declaration - integer varfirst; - ^~~~~~~~ + 9 | integer varfirst; + | ^~~~~~~~ %Error: t/t_var_bad_sameas.v:11:9: Unsupported in C: Task has the same name as cell: 'varfirst' - task varfirst; begin end endtask - ^~~~~~~~ + 11 | task varfirst; begin end endtask + | ^~~~~~~~ t/t_var_bad_sameas.v:10:8: ... Location of original declaration - sub varfirst (); - ^~~~~~~~ + 10 | sub varfirst (); + | ^~~~~~~~ %Error: t/t_var_bad_sameas.v:14:12: Unsupported in C: Variable has same name as cell: 'cellfirst' - integer cellfirst; - ^~~~~~~~~ + 14 | integer cellfirst; + | ^~~~~~~~~ %Error: t/t_var_bad_sameas.v:15:9: Unsupported in C: Task has the same name as cell: 'cellfirst' - task cellfirst; begin end endtask - ^~~~~~~~~ + 15 | task cellfirst; begin end endtask + | ^~~~~~~~~ t/t_var_bad_sameas.v:13:8: ... Location of original declaration - sub cellfirst (); - ^~~~~~~~~ + 13 | sub cellfirst (); + | ^~~~~~~~~ %Error: t/t_var_bad_sameas.v:18:12: Unsupported in C: Variable has same name as task: 'taskfirst' - integer taskfirst; - ^~~~~~~~~ + 18 | integer taskfirst; + | ^~~~~~~~~ %Error: t/t_var_bad_sameas.v:19:8: Unsupported in C: Cell has the same name as task: 'taskfirst' - sub taskfirst (); - ^~~~~~~~~ + 19 | sub taskfirst (); + | ^~~~~~~~~ t/t_var_bad_sameas.v:17:9: ... Location of original declaration - task taskfirst; begin end endtask - ^~~~~~~~~ + 17 | task taskfirst; begin end endtask + | ^~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_var_bad_sv.out b/test_regress/t/t_var_bad_sv.out index 60494ae8f..c27c1e81c 100644 --- a/test_regress/t/t_var_bad_sv.out +++ b/test_regress/t/t_var_bad_sv.out @@ -1,11 +1,11 @@ %Error: t/t_var_bad_sv.v:8:8: Unexpected 'do': 'do' is a SystemVerilog keyword misused as an identifier. ... Suggest modify the Verilog-2001 code to avoid SV keywords, or use `begin_keywords or --language. - reg do; - ^~ + 8 | reg do; + | ^~ %Error: t/t_var_bad_sv.v:9:14: Unexpected 'do': 'do' is a SystemVerilog keyword misused as an identifier. - mod mod (.do(bar)); - ^~ + 9 | mod mod (.do(bar)); + | ^~ %Error: t/t_var_bad_sv.v:9:17: syntax error, unexpected '(', expecting ')' - mod mod (.do(bar)); - ^~~ + 9 | mod mod (.do(bar)); + | ^~~ %Error: Exiting due to diff --git a/test_regress/t/t_var_const_bad.out b/test_regress/t/t_var_const_bad.out index 38bcf89b0..f29ef0b8a 100644 --- a/test_regress/t/t_var_const_bad.out +++ b/test_regress/t/t_var_const_bad.out @@ -1,5 +1,5 @@ %Error: t/t_var_const_bad.v:17:7: Assigning to const variable: 'five' : ... In instance t - five = 3'd4; - ^~~~ + 17 | five = 3'd4; + | ^~~~ %Error: Exiting due to diff --git a/test_regress/t/t_var_dotted_dup_bad.out b/test_regress/t/t_var_dotted_dup_bad.out index 30344dd27..8bdda3bde 100644 --- a/test_regress/t/t_var_dotted_dup_bad.out +++ b/test_regress/t/t_var_dotted_dup_bad.out @@ -1,7 +1,7 @@ %Error: t/t_var_dotted_dup_bad.v:14:18: Duplicate declaration of cell: 'dccm_bank' - eh2_ram dccm_bank (.*); - ^~~~~~~~~ + 14 | eh2_ram dccm_bank (.*); + | ^~~~~~~~~ t/t_var_dotted_dup_bad.v:11:18: ... Location of original declaration - eh2_ram dccm_bank (.*); - ^~~~~~~~~ + 11 | eh2_ram dccm_bank (.*); + | ^~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_var_dup2_bad.out b/test_regress/t/t_var_dup2_bad.out index f6cb317e8..347ba1095 100644 --- a/test_regress/t/t_var_dup2_bad.out +++ b/test_regress/t/t_var_dup2_bad.out @@ -1,14 +1,14 @@ %Error: t/t_var_dup2_bad.v:13:9: Duplicate declaration of signal: 'bad_o_w' : ... note: ANSI ports must have type declared with the I/O (IEEE 1800-2017 23.2.2.2) - wire bad_o_w; - ^~~~~~~ + 13 | wire bad_o_w; + | ^~~~~~~ t/t_var_dup2_bad.v:10:11: ... Location of original declaration - output bad_o_w, - ^~~~~~~ + 10 | output bad_o_w, + | ^~~~~~~ %Error: t/t_var_dup2_bad.v:14:9: Duplicate declaration of signal: 'bad_o_r' - reg bad_o_r; - ^~~~~~~ + 14 | reg bad_o_r; + | ^~~~~~~ t/t_var_dup2_bad.v:11:11: ... Location of original declaration - output bad_o_r); - ^~~~~~~ + 11 | output bad_o_r); + | ^~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_var_dup_bad.out b/test_regress/t/t_var_dup_bad.out index a2c693055..4f86e876a 100644 --- a/test_regress/t/t_var_dup_bad.out +++ b/test_regress/t/t_var_dup_bad.out @@ -1,110 +1,110 @@ %Error: t/t_var_dup_bad.v:17:11: Duplicate declaration of signal: 'a' - reg a; - ^ + 17 | reg a; + | ^ t/t_var_dup_bad.v:16:11: ... Location of original declaration - reg a; - ^ + 16 | reg a; + | ^ %Error: t/t_var_dup_bad.v:20:12: Duplicate declaration of signal: 'l' - integer l; - ^ + 20 | integer l; + | ^ t/t_var_dup_bad.v:19:12: ... Location of original declaration - integer l; - ^ + 19 | integer l; + | ^ %Error: t/t_var_dup_bad.v:23:12: Duplicate declaration of signal: 'b' - bit b; - ^ + 23 | bit b; + | ^ t/t_var_dup_bad.v:22:12: ... Location of original declaration - bit b; - ^ + 22 | bit b; + | ^ %Error: t/t_var_dup_bad.v:26:11: Duplicate declaration of signal: 'o' - output o; - ^ + 26 | output o; + | ^ t/t_var_dup_bad.v:25:11: ... Location of original declaration - output o; - ^ + 25 | output o; + | ^ %Error: t/t_var_dup_bad.v:29:11: Duplicate declaration of signal: 'i' - input i; - ^ + 29 | input i; + | ^ t/t_var_dup_bad.v:28:11: ... Location of original declaration - input i; - ^ + 28 | input i; + | ^ %Error: t/t_var_dup_bad.v:32:11: Duplicate declaration of signal: 'oi' - input oi; - ^~ + 32 | input oi; + | ^~ t/t_var_dup_bad.v:31:11: ... Location of original declaration - output oi; - ^~ + 31 | output oi; + | ^~ %Error: t/t_var_dup_bad.v:39:15: Duplicate declaration of signal: 'org' - output reg org; - ^~~ + 39 | output reg org; + | ^~~ t/t_var_dup_bad.v:38:15: ... Location of original declaration - output reg org; - ^~~ + 38 | output reg org; + | ^~~ %Error: t/t_var_dup_bad.v:66:11: Duplicate declaration of signal: 'bad_reout_port' - output bad_reout_port; - ^~~~~~~~~~~~~~ + 66 | output bad_reout_port; + | ^~~~~~~~~~~~~~ t/t_var_dup_bad.v:64:11: ... Location of original declaration - output bad_reout_port - ^~~~~~~~~~~~~~ + 64 | output bad_reout_port + | ^~~~~~~~~~~~~~ %Error: t/t_var_dup_bad.v:73:9: Duplicate declaration of signal: 'bad_rewire' : ... note: ANSI ports must have type declared with the I/O (IEEE 1800-2017 23.2.2.2) - wire bad_rewire; - ^~~~~~~~~~ + 73 | wire bad_rewire; + | ^~~~~~~~~~ t/t_var_dup_bad.v:70:16: ... Location of original declaration - (output wire bad_rewire, - ^~~~~~~~~~ + 70 | (output wire bad_rewire, + | ^~~~~~~~~~ %Error: t/t_var_dup_bad.v:74:9: Duplicate declaration of signal: 'bad_rereg' - reg bad_rereg; - ^~~~~~~~~ + 74 | reg bad_rereg; + | ^~~~~~~~~ t/t_var_dup_bad.v:71:15: ... Location of original declaration - output reg bad_rereg - ^~~~~~~~~ + 71 | output reg bad_rereg + | ^~~~~~~~~ %Error: t/t_var_dup_bad.v:13:7: Duplicate declaration of port: 'oi' - i, oi - ^~ + 13 | i, oi + | ^~ t/t_var_dup_bad.v:31:11: ... Location of original declaration - output oi; - ^~ + 31 | output oi; + | ^~ %Error: t/t_var_dup_bad.v:50:4: Duplicate declaration of port: 'bad_duport' - bad_duport - ^~~~~~~~~~ + 50 | bad_duport + | ^~~~~~~~~~ t/t_var_dup_bad.v:52:11: ... Location of original declaration - output bad_duport; - ^~~~~~~~~~ + 52 | output bad_duport; + | ^~~~~~~~~~ %Error: t/t_var_dup_bad.v:58:11: Duplicate declaration of port: 'bad_mixport' - output bad_mixport - ^~~~~~~~~~~ + 58 | output bad_mixport + | ^~~~~~~~~~~ t/t_var_dup_bad.v:58:11: ... Location of original declaration - output bad_mixport - ^~~~~~~~~~~ + 58 | output bad_mixport + | ^~~~~~~~~~~ %Error: t/t_var_dup_bad.v:41:9: Can't find definition of variable: 'bad_duport' - sub0 sub0(.*); - ^~~~ + 41 | sub0 sub0(.*); + | ^~~~ %Error: t/t_var_dup_bad.v:41:9: Duplicate pin connection: 'bad_duport' - sub0 sub0(.*); - ^~~~ + 41 | sub0 sub0(.*); + | ^~~~ t/t_var_dup_bad.v:41:9: ... Location of original pin connection - sub0 sub0(.*); - ^~~~ + 41 | sub0 sub0(.*); + | ^~~~ %Error: t/t_var_dup_bad.v:42:9: Can't find definition of variable: 'bad_mixport' : ... Suggested alternative: 'bad_duport' - sub1 sub1(.*); - ^~~~ + 42 | sub1 sub1(.*); + | ^~~~ %Error: t/t_var_dup_bad.v:42:9: Duplicate pin connection: 'bad_mixport' - sub1 sub1(.*); - ^~~~ + 42 | sub1 sub1(.*); + | ^~~~ t/t_var_dup_bad.v:42:9: ... Location of original pin connection - sub1 sub1(.*); - ^~~~ + 42 | sub1 sub1(.*); + | ^~~~ %Error: t/t_var_dup_bad.v:43:9: Can't find definition of variable: 'bad_reout_port' : ... Suggested alternative: 'bad_duport' - sub2 sub2(.*); - ^~~~ + 43 | sub2 sub2(.*); + | ^~~~ %Error: t/t_var_dup_bad.v:44:9: Can't find definition of variable: 'bad_rewire' - sub3 sub3(.*); - ^~~~ + 44 | sub3 sub3(.*); + | ^~~~ %Error: t/t_var_dup_bad.v:44:9: Can't find definition of variable: 'bad_rereg' : ... Suggested alternative: 'bad_rewire' - sub3 sub3(.*); - ^~~~ + 44 | sub3 sub3(.*); + | ^~~~ %Error: Exiting due to diff --git a/test_regress/t/t_var_in_assign_bad.out b/test_regress/t/t_var_in_assign_bad.out index acdba7754..87acaf9f1 100644 --- a/test_regress/t/t_var_in_assign_bad.out +++ b/test_regress/t/t_var_in_assign_bad.out @@ -1,7 +1,7 @@ %Error-ASSIGNIN: t/t_var_in_assign_bad.v:12:16: Assigning to input/const variable: 'value' - assign value = 4'h0; - ^~~~~ + 12 | assign value = 4'h0; + | ^~~~~ %Error-ASSIGNIN: t/t_var_in_assign_bad.v:21:16: Assigning to input/const variable: 'valueSub' - assign valueSub = 4'h0; - ^~~~~~~~ + 21 | assign valueSub = 4'h0; + | ^~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_var_notfound_bad.out b/test_regress/t/t_var_notfound_bad.out index cf5d237d4..826f9a68e 100644 --- a/test_regress/t/t_var_notfound_bad.out +++ b/test_regress/t/t_var_notfound_bad.out @@ -1,24 +1,24 @@ %Error: t/t_var_notfound_bad.v:18:7: Can't find definition of variable: 'nf' - nf = 0; - ^~ + 18 | nf = 0; + | ^~ %Error: t/t_var_notfound_bad.v:19:11: Can't find definition of 'subsubz' in dotted scope/variable: 'sub.subsubz' - sub.subsubz.inss = 0; - ^~~~~~~ + 19 | sub.subsubz.inss = 0; + | ^~~~~~~ ... Known scopes under 'sub': subsub %Error: t/t_var_notfound_bad.v:20:11: Can't find definition of task/function: 'nofunc' : ... Suggested alternative: 'notfunc' - i = nofunc(); - ^~~~~~ + 20 | i = nofunc(); + | ^~~~~~ %Error: t/t_var_notfound_bad.v:21:15: Can't find definition of 'nofuncs' in dotted task/function: 'sub.nofuncs' : ... Suggested alternative: 'notfuncs' - i = sub.nofuncs(); - ^~~~~~~ + 21 | i = sub.nofuncs(); + | ^~~~~~~ ... Known scopes under 'nofuncs': sub %Error: t/t_var_notfound_bad.v:22:7: Can't find definition of task/function: 'notask' : ... Suggested alternative: 'nottask' - notask(); - ^~~~~~ + 22 | notask(); + | ^~~~~~ %Error: t/t_var_notfound_bad.v:23:7: Found definition of 'a_var' as a VAR but expected a task/function - a_var(); - ^~~~~ + 23 | a_var(); + | ^~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_var_port2_bad.out b/test_regress/t/t_var_port2_bad.out index 03fa73f52..1decff5e6 100644 --- a/test_regress/t/t_var_port2_bad.out +++ b/test_regress/t/t_var_port2_bad.out @@ -1,7 +1,7 @@ %Error: t/t_var_port2_bad.v:7:11: Input/output/inout declaration not found for port: 'portwithoin' -module t (portwithoin); - ^~~~~~~~~~~ + 7 | module t (portwithoin); + | ^~~~~~~~~~~ %Error: t/t_var_port2_bad.v:8:10: Input/output/inout does not appear in port list: 'portwithin' - input portwithin; - ^~~~~~~~~~ + 8 | input portwithin; + | ^~~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_var_port_bad.out b/test_regress/t/t_var_port_bad.out index 9759106a0..3965217c2 100644 --- a/test_regress/t/t_var_port_bad.out +++ b/test_regress/t/t_var_port_bad.out @@ -1,4 +1,4 @@ %Error: t/t_var_port_bad.v:16:13: Input/output/inout does not appear in port list: 'b' - input a, b; - ^ + 16 | input a, b; + | ^ %Error: Exiting due to diff --git a/test_regress/t/t_var_ref_bad1.out b/test_regress/t/t_var_ref_bad1.out index 9616ea908..fad8332f9 100644 --- a/test_regress/t/t_var_ref_bad1.out +++ b/test_regress/t/t_var_ref_bad1.out @@ -1,5 +1,5 @@ %Error: t/t_var_ref_bad1.v:14:8: Ref connection 'bad_sub_ref' requires matching types; ref requires 'real' data type but connection is 'bit' data type. : ... In instance t - (.bad_sub_ref(bad_parent)); - ^~~~~~~~~~~ + 14 | (.bad_sub_ref(bad_parent)); + | ^~~~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_var_ref_bad2.out b/test_regress/t/t_var_ref_bad2.out index 1b7792fc2..28a384b6b 100644 --- a/test_regress/t/t_var_ref_bad2.out +++ b/test_regress/t/t_var_ref_bad2.out @@ -1,9 +1,9 @@ %Error: t/t_var_ref_bad2.v:13:7: Assigning to const ref variable: 'bad_const_set' : ... In instance t - bad_const_set = 32'h4567; - ^~~~~~~~~~~~~ + 13 | bad_const_set = 32'h4567; + | ^~~~~~~~~~~~~ %Error: t/t_var_ref_bad2.v:23:17: Ref argument requires matching types; port 'int_ref' requires VAR 'int_ref' but connection is VARREF 'bad_non_int'. : ... In instance t - checkset2(bad_non_int); - ^~~~~~~~~~~ + 23 | checkset2(bad_non_int); + | ^~~~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_var_ref_bad3.out b/test_regress/t/t_var_ref_bad3.out index c4fd986e0..967d473af 100644 --- a/test_regress/t/t_var_ref_bad3.out +++ b/test_regress/t/t_var_ref_bad3.out @@ -1,4 +1,4 @@ %Error: t/t_var_ref_bad3.v:10:18: Unsupported: ref/const ref as primary input/output: 'bad_primary_ref' -module t(ref int bad_primary_ref - ^~~~~~~~~~~~~~~ + 10 | module t(ref int bad_primary_ref + | ^~~~~~~~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_var_rsvd_bad.out b/test_regress/t/t_var_rsvd_bad.out index 42a016ab4..5a4cd49ab 100644 --- a/test_regress/t/t_var_rsvd_bad.out +++ b/test_regress/t/t_var_rsvd_bad.out @@ -1,9 +1,9 @@ %Warning-SYMRSVDWORD: t/t_var_rsvd_port.v:12:10: Symbol matches C++ keyword: 'bool' - input bool; - ^~~~ + 12 | input bool; + | ^~~~ ... Use "/* verilator lint_off SYMRSVDWORD */" and lint_on around source to disable this message. %Warning-SYMRSVDWORD: t/t_var_rsvd_port.v:15:9: Symbol matches C++ keyword: 'switch' : ... In instance t - reg switch /*verilator public*/ ; - ^~~~~~ + 15 | reg switch /*verilator public*/ ; + | ^~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_var_suggest_bad.out b/test_regress/t/t_var_suggest_bad.out index dd90e25d9..19ce808cd 100644 --- a/test_regress/t/t_var_suggest_bad.out +++ b/test_regress/t/t_var_suggest_bad.out @@ -1,9 +1,9 @@ %Error: t/t_var_suggest_bad.v:13:11: Can't find definition of variable: 'foobat' : ... Suggested alternative: 'foobar' - if (foobat) $stop; - ^~~~~~ + 13 | if (foobat) $stop; + | ^~~~~~ %Error: t/t_var_suggest_bad.v:14:7: Can't find definition of task/function: 'boobat' : ... Suggested alternative: 'boobar' - boobat; - ^~~~~~ + 14 | boobat; + | ^~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_var_types_bad.out b/test_regress/t/t_var_types_bad.out index 3a5219b3f..e4c100627 100644 --- a/test_regress/t/t_var_types_bad.out +++ b/test_regress/t/t_var_types_bad.out @@ -1,36 +1,36 @@ %Error: t/t_var_types_bad.v:39:13: Illegal bit or array select; type does not have a bit range, or bad dimension: data type is 'bit' : ... In instance t - d_bitz[0] = 1'b1; - ^ + 39 | d_bitz[0] = 1'b1; + | ^ %Error: t/t_var_types_bad.v:40:15: Illegal bit or array select; type does not have a bit range, or bad dimension: data type is 'logic' : ... In instance t - d_logicz[0] = 1'b1; - ^ + 40 | d_logicz[0] = 1'b1; + | ^ %Error: t/t_var_types_bad.v:41:13: Illegal bit or array select; type does not have a bit range, or bad dimension: data type is 'logic' : ... In instance t - d_regz[0] = 1'b1; - ^ + 41 | d_regz[0] = 1'b1; + | ^ %Error: t/t_var_types_bad.v:46:13: Illegal bit or array select; type does not have a bit range, or bad dimension: data type is 'real' : ... In instance t - d_real[0] = 1'b1; - ^ + 46 | d_real[0] = 1'b1; + | ^ %Error: t/t_var_types_bad.v:46:7: Expected integral (non-real) input to SEL : ... In instance t - d_real[0] = 1'b1; - ^~~~~~ + 46 | d_real[0] = 1'b1; + | ^~~~~~ %Warning-REALCVT: t/t_var_types_bad.v:46:7: Implicit conversion of real to integer - d_real[0] = 1'b1; - ^~~~~~ + 46 | d_real[0] = 1'b1; + | ^~~~~~ ... Use "/* verilator lint_off REALCVT */" and lint_on around source to disable this message. %Error: t/t_var_types_bad.v:47:17: Illegal bit or array select; type does not have a bit range, or bad dimension: data type is 'real' : ... In instance t - d_realtime[0] = 1'b1; - ^ + 47 | d_realtime[0] = 1'b1; + | ^ %Error: t/t_var_types_bad.v:47:7: Expected integral (non-real) input to SEL : ... In instance t - d_realtime[0] = 1'b1; - ^~~~~~~~~~ + 47 | d_realtime[0] = 1'b1; + | ^~~~~~~~~~ %Warning-REALCVT: t/t_var_types_bad.v:47:7: Implicit conversion of real to integer - d_realtime[0] = 1'b1; - ^~~~~~~~~~ + 47 | d_realtime[0] = 1'b1; + | ^~~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_vlt_syntax_bad.out b/test_regress/t/t_vlt_syntax_bad.out index 9e7f3e5dd..7db02e54b 100644 --- a/test_regress/t/t_vlt_syntax_bad.out +++ b/test_regress/t/t_vlt_syntax_bad.out @@ -1,7 +1,7 @@ %Error: t/t_vlt_syntax_bad.vlt:9:20: sensitivity not expected for attribute -public -module "t" @(posedge clk) - ^ + 9 | public -module "t" @(posedge clk) + | ^ %Error: t/t_vlt_syntax_bad.vlt:10:1: isolate_assignments only applies to signals or functions/tasks -isolate_assignments -module "t" -^~~~~~~~~~~~~~~~~~~ + 10 | isolate_assignments -module "t" + | ^~~~~~~~~~~~~~~~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_vlt_warn_bad.out b/test_regress/t/t_vlt_warn_bad.out index bb4f0300b..4e5fcde5a 100644 --- a/test_regress/t/t_vlt_warn_bad.out +++ b/test_regress/t/t_vlt_warn_bad.out @@ -1,9 +1,9 @@ %Warning-DEPRECATED: t/t_vlt_warn_bad.vlt:12:10: Deprecated -msg in configuration files, use -rule instead. -lint_off -msg WIDTH -file "*/t_vlt_warn.v" -lines 19-19 - ^~~~ + 12 | lint_off -msg WIDTH -file "*/t_vlt_warn.v" -lines 19-19 + | ^~~~ ... Use "/* verilator lint_off DEPRECATED */" and lint_on around source to disable this message. %Warning-WIDTH: t/t_vlt_warn.v:21:33: Operator ASSIGN expects 1 bits on the Assign RHS, but Assign RHS's CONST '2'h3' generates 2 bits. : ... In instance t - reg width_warn3_var_line20 = 2'b11; - ^~~~~ + 21 | reg width_warn3_var_line20 = 2'b11; + | ^~~~~ %Error: Exiting due to diff --git a/test_regress/t/t_wire_beh1364_bad.out b/test_regress/t/t_wire_beh1364_bad.out index cad21c8b0..18834bf3a 100644 --- a/test_regress/t/t_wire_beh1364_bad.out +++ b/test_regress/t/t_wire_beh1364_bad.out @@ -1,21 +1,21 @@ %Error-PROCASSWIRE: t/t_wire_beh1364_bad.v:25:7: Procedural assignment to wire, perhaps intended var (IEEE 1800-2017 6.5): 'w' : ... In instance t - w = '0; - ^ + 25 | w = '0; + | ^ %Error-PROCASSWIRE: t/t_wire_beh1364_bad.v:26:7: Procedural assignment to wire, perhaps intended var (IEEE 1800-2017 6.5): 'o' : ... In instance t - o = '0; - ^ + 26 | o = '0; + | ^ %Error-PROCASSWIRE: t/t_wire_beh1364_bad.v:27:7: Procedural assignment to wire, perhaps intended var (IEEE 1800-2017 6.5): 'oa' : ... In instance t - oa = '0; - ^~ + 27 | oa = '0; + | ^~ %Error-PROCASSWIRE: t/t_wire_beh1364_bad.v:28:7: Procedural assignment to wire, perhaps intended var (IEEE 1800-2017 6.5): 'wo' : ... In instance t - wo = '0; - ^~ + 28 | wo = '0; + | ^~ %Error-PROCASSWIRE: t/t_wire_beh1364_bad.v:29:7: Procedural assignment to wire, perhaps intended var (IEEE 1800-2017 6.5): 'woa' : ... In instance t - woa = '0; - ^~~ + 29 | woa = '0; + | ^~~ %Error: Exiting due to diff --git a/test_regress/t/t_wire_beh1800_bad.out b/test_regress/t/t_wire_beh1800_bad.out index 3953b005d..4300d3caf 100644 --- a/test_regress/t/t_wire_beh1800_bad.out +++ b/test_regress/t/t_wire_beh1800_bad.out @@ -1,21 +1,21 @@ %Error-PROCASSWIRE: t/t_wire_beh1800_bad.v:25:7: Procedural assignment to wire, perhaps intended var (IEEE 1800-2017 6.5): 'w' : ... In instance t - w = '0; - ^ + 25 | w = '0; + | ^ %Error-PROCASSWIRE: t/t_wire_beh1800_bad.v:26:7: Procedural assignment to wire, perhaps intended var (IEEE 1800-2017 6.5): 'o' : ... In instance t - o = '0; - ^ + 26 | o = '0; + | ^ %Error-PROCASSWIRE: t/t_wire_beh1800_bad.v:27:7: Procedural assignment to wire, perhaps intended var (IEEE 1800-2017 6.5): 'oa' : ... In instance t - oa = '0; - ^~ + 27 | oa = '0; + | ^~ %Error-PROCASSWIRE: t/t_wire_beh1800_bad.v:28:7: Procedural assignment to wire, perhaps intended var (IEEE 1800-2017 6.5): 'wo' : ... In instance t - wo = '0; - ^~ + 28 | wo = '0; + | ^~ %Error-PROCASSWIRE: t/t_wire_beh1800_bad.v:29:7: Procedural assignment to wire, perhaps intended var (IEEE 1800-2017 6.5): 'woa' : ... In instance t - woa = '0; - ^~~ + 29 | woa = '0; + | ^~~ %Error: Exiting due to diff --git a/test_regress/t/t_wire_behp1364_bad.out b/test_regress/t/t_wire_behp1364_bad.out index c86e03e14..73e9d1c53 100644 --- a/test_regress/t/t_wire_behp1364_bad.out +++ b/test_regress/t/t_wire_behp1364_bad.out @@ -1,13 +1,13 @@ %Error-PROCASSWIRE: t/t_wire_behp1364_bad.v:23:7: Procedural assignment to wire, perhaps intended var (IEEE 1800-2017 6.5): 'w' : ... In instance t - w = '0; - ^ + 23 | w = '0; + | ^ %Error-PROCASSWIRE: t/t_wire_behp1364_bad.v:24:7: Procedural assignment to wire, perhaps intended var (IEEE 1800-2017 6.5): 'o' : ... In instance t - o = '0; - ^ + 24 | o = '0; + | ^ %Error-PROCASSWIRE: t/t_wire_behp1364_bad.v:25:7: Procedural assignment to wire, perhaps intended var (IEEE 1800-2017 6.5): 'oa' : ... In instance t - oa = '0; - ^~ + 25 | oa = '0; + | ^~ %Error: Exiting due to diff --git a/test_regress/t/t_wire_behp1800_bad.out b/test_regress/t/t_wire_behp1800_bad.out index 2bfb9089f..ec76bc00c 100644 --- a/test_regress/t/t_wire_behp1800_bad.out +++ b/test_regress/t/t_wire_behp1800_bad.out @@ -1,13 +1,13 @@ %Error-PROCASSWIRE: t/t_wire_behp1800_bad.v:23:7: Procedural assignment to wire, perhaps intended var (IEEE 1800-2017 6.5): 'w' : ... In instance t - w = '0; - ^ + 23 | w = '0; + | ^ %Error-PROCASSWIRE: t/t_wire_behp1800_bad.v:24:7: Procedural assignment to wire, perhaps intended var (IEEE 1800-2017 6.5): 'o' : ... In instance t - o = '0; - ^ + 24 | o = '0; + | ^ %Error-PROCASSWIRE: t/t_wire_behp1800_bad.v:25:7: Procedural assignment to wire, perhaps intended var (IEEE 1800-2017 6.5): 'oa' : ... In instance t - oa = '0; - ^~ + 25 | oa = '0; + | ^~ %Error: Exiting due to