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

Add some casts in vvp to remove warnings. 

The Cygwin compiler is a bit picky. This patch adds some casts
to remove compilation warnings. In the past I have had warnings
off because of problems with the STL, but for this directory we
may as well squash as many warings as we can. It also does not
recognize that an assert(0) or assert(false) ends a routine so
it complains about no return at end of function or variables
not being defined.
This commit is contained in:
Cary R 2009-12-10 12:53:58 -08:00 committed by Stephen Williams
parent 81d4cbc4bd
commit d6246cf041
12 changed files with 68 additions and 52 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
vvp/compile.cc
View File

@ -1348,6 +1348,8 @@ static struct __vpiModPathSrc*make_modpath_src(struct __vpiModPath*path,
break; break;
#endif #endif
default: default:
posedge = false;
negedge = false;
fprintf(stderr, "Unknown edge identifier %c(%d).\n", edge, fprintf(stderr, "Unknown edge identifier %c(%d).\n", edge,
edge); edge);
assert(0); assert(0);

16
vvp/vpi_callback.cc
View File

@ -1,5 +1,5 @@
/* /*
* Copyright (c) 2001-2008 Stephen Williams (steve@icarus.com) * Copyright (c) 2001-2009 Stephen Williams (steve@icarus.com)
* *
* This source code is free software; you can redistribute it * This source code is free software; you can redistribute it
* and/or modify it in source code form under the terms of the GNU * and/or modify it in source code form under the terms of the GNU
@ -260,7 +260,8 @@ static struct __vpiCallback* make_sync(p_cb_data data, bool readonly_flag)
} }
default: default:
fprintf(stderr, "Unsupported time type %d.\n", obj->cb_time.type); fprintf(stderr, "Unsupported time type %d.\n",
(int)obj->cb_time.type);
assert(0); assert(0);
break; break;
} }
@ -289,7 +290,8 @@ static struct __vpiCallback* make_afterdelay(p_cb_data data, bool simtime_flag)
break; break;
default: default:
fprintf(stderr, "Unsupported time type %d.\n", obj->cb_time.type); fprintf(stderr, "Unsupported time type %d.\n",
(int)obj->cb_time.type);
assert(0); assert(0);
tv = 0; tv = 0;
break; break;
@ -466,7 +468,7 @@ vpiHandle vpi_register_cb(p_cb_data data)
default: default:
fprintf(stderr, "vpi error: vpi_register_cb invalid or " fprintf(stderr, "vpi error: vpi_register_cb invalid or "
"unsupported callback reason: %d\n", "unsupported callback reason: %d\n",
data->reason); (int)data->reason);
break; break;
} }
@ -511,7 +513,7 @@ void callback_execute(struct __vpiCallback*cur)
break; break;
default: default:
fprintf(stderr, "Unsupported time format %d.\n", fprintf(stderr, "Unsupported time format %d.\n",
cur->cb_data.time->type); (int)cur->cb_data.time->type);
assert(0); assert(0);
break; break;
} }
@ -629,7 +631,7 @@ void vvp_signal_value::get_signal_value(struct t_vpi_value*vp)
default: default:
fprintf(stderr, "vpi_callback: value " fprintf(stderr, "vpi_callback: value "
"format %d not supported (fun_signal)\n", "format %d not supported (fun_signal)\n",
vp->format); (int)vp->format);
} }
} }
@ -689,7 +691,7 @@ static void real_signal_value(struct t_vpi_value*vp, double rval)
default: default:
fprintf(stderr, "vpi_callback: value " fprintf(stderr, "vpi_callback: value "
"format %d not supported (fun_signal_real)\n", "format %d not supported (fun_signal_real)\n",
vp->format); (int)vp->format);
} }
} }

7
vvp/vpi_const.cc
View File

@ -167,7 +167,8 @@ static void string_value(vpiHandle ref, p_vpi_value vp)
default: default:
fprintf(stderr, "ERROR (vpi_const.cc): vp->format: %d\n", vp->format); fprintf(stderr, "ERROR (vpi_const.cc): vp->format: %d\n",
(int)vp->format);
assert(0); assert(0);
vp->format = vpiSuppressVal; vp->format = vpiSuppressVal;
@ -405,7 +406,7 @@ static void binary_value(vpiHandle ref, p_vpi_value vp)
default: default:
fprintf(stderr, "vvp error: format %d not supported " fprintf(stderr, "vvp error: format %d not supported "
"by vpiBinaryConst\n", vp->format); "by vpiBinaryConst\n", (int)vp->format);
vp->format = vpiSuppressVal; vp->format = vpiSuppressVal;
break; break;
} }
@ -624,7 +625,7 @@ static void dec_value(vpiHandle ref, p_vpi_value vp)
default: default:
fprintf(stderr, "vvp error (vpi_const.cc): format %d not supported " fprintf(stderr, "vvp error (vpi_const.cc): format %d not supported "
"by vpiDecConst\n", vp->format); "by vpiDecConst\n", (int)vp->format);
vp->format = vpiSuppressVal; vp->format = vpiSuppressVal;
break; break;
} }

2
vvp/vpi_mcd.cc
View File

@ -183,7 +183,7 @@ vpi_mcd_vprintf(PLI_UINT32 mcd, const char*fmt, va_list ap)
if (vpi_trace) { if (vpi_trace) {
fprintf(vpi_trace, "vpi_mcd_vprintf(0x%08x, %s, ...);\n", fprintf(vpi_trace, "vpi_mcd_vprintf(0x%08x, %s, ...);\n",
mcd, fmt); (unsigned int)mcd, fmt);
} }
#ifdef __MINGW32__ #ifdef __MINGW32__

24
vvp/vpi_priv.cc
View File

@ -206,7 +206,7 @@ static const char* vpi_property_str(PLI_INT32 code)
case vpiSize: case vpiSize:
return "vpiSize"; return "vpiSize";
default: default:
sprintf(buf, "%d", code); sprintf(buf, "%d", (int)code);
} }
return buf; return buf;
} }
@ -256,7 +256,7 @@ static const char* vpi_type_values(PLI_INT32 code)
case vpiTimeVar: case vpiTimeVar:
return "vpiTimeVar"; return "vpiTimeVar";
default: default:
sprintf(buf, "%d", code); sprintf(buf, "%d", (int)code);
} }
return buf; return buf;
} }
@ -429,7 +429,7 @@ void vpi_get_time(vpiHandle obj, s_vpi_time*vp)
break; break;
default: default:
fprintf(stderr, "vpi_get_time: unknown type: %d\n", vp->type); fprintf(stderr, "vpi_get_time: unknown type: %d\n", (int)vp->type);
assert(0); assert(0);
break; break;
} }
@ -521,7 +521,7 @@ void vpip_vec4_get_value(const vvp_vector4_t&word_val, unsigned width,
switch (vp->format) { switch (vp->format) {
default: default:
fprintf(stderr, "sorry: Format %d not implemented for " fprintf(stderr, "sorry: Format %d not implemented for "
"getting vector values.\n", vp->format); "getting vector values.\n", (int)vp->format);
assert(0); assert(0);
case vpiSuppressVal: case vpiSuppressVal:
@ -688,7 +688,7 @@ void vpip_real_get_value(double real, s_vpi_value*vp)
switch (vp->format) { switch (vp->format) {
default: default:
fprintf(stderr, "sorry: Format %d not implemented for " fprintf(stderr, "sorry: Format %d not implemented for "
"getting real values.\n", vp->format); "getting real values.\n", (int)vp->format);
assert(0); assert(0);
case vpiSuppressVal: case vpiSuppressVal:
@ -723,7 +723,7 @@ double real_from_vpi_value(s_vpi_value*vp)
switch (vp->format) { switch (vp->format) {
default: default:
fprintf(stderr, "sorry: Format %d not implemented for " fprintf(stderr, "sorry: Format %d not implemented for "
"putting real values.\n", vp->format); "putting real values.\n", (int)vp->format);
assert(0); assert(0);
case vpiRealVal: case vpiRealVal:
@ -783,12 +783,12 @@ void vpi_get_value(vpiHandle expr, s_vpi_value*vp)
case vpiIntVal: case vpiIntVal:
fprintf(vpi_trace, "vpi_get_value(<%d>...) -> int=%d\n", fprintf(vpi_trace, "vpi_get_value(<%d>...) -> int=%d\n",
expr->vpi_type->type_code, vp->value.integer); expr->vpi_type->type_code, (int)vp->value.integer);
break; break;
default: default:
fprintf(vpi_trace, "vpi_get_value(<%d>...) -> <%d>=?\n", fprintf(vpi_trace, "vpi_get_value(<%d>...) -> <%d>=?\n",
expr->vpi_type->type_code, vp->format); expr->vpi_type->type_code, (int)vp->format);
} }
return; return;
} }
@ -913,7 +913,7 @@ vpiHandle vpi_handle(PLI_INT32 type, vpiHandle ref)
if (ref == 0) { if (ref == 0) {
fprintf(stderr, "internal error: vpi_handle(type=%d, ref=0)\n", fprintf(stderr, "internal error: vpi_handle(type=%d, ref=0)\n",
type); (int)type);
} }
assert(ref); assert(ref);
@ -921,7 +921,7 @@ vpiHandle vpi_handle(PLI_INT32 type, vpiHandle ref)
if (vpi_trace) { if (vpi_trace) {
fprintf(vpi_trace, "vpi_handle(%d, %p) -X\n", fprintf(vpi_trace, "vpi_handle(%d, %p) -X\n",
type, ref); (int)type, ref);
} }
return 0; return 0;
@ -932,7 +932,7 @@ vpiHandle vpi_handle(PLI_INT32 type, vpiHandle ref)
if (vpi_trace) { if (vpi_trace) {
fprintf(vpi_trace, "vpi_handle(%d, %p) -> %p\n", fprintf(vpi_trace, "vpi_handle(%d, %p) -> %p\n",
type, ref, res); (int)type, ref, res);
} }
return res; return res;
@ -972,7 +972,7 @@ vpiHandle vpi_iterate(PLI_INT32 type, vpiHandle ref)
if (vpi_trace) { if (vpi_trace) {
fprintf(vpi_trace, "vpi_iterate(%d, %p) ->%s\n", fprintf(vpi_trace, "vpi_iterate(%d, %p) ->%s\n",
type, ref, rtn ? "" : " (null)"); (int)type, ref, rtn ? "" : " (null)");
} }
return rtn; return rtn;

17
vvp/vpi_signal.cc
View File

@ -721,9 +721,10 @@ static void signal_get_value(vpiHandle ref, s_vpi_value*vp)
default: default:
fprintf(stderr, "vvp internal error: get_value: " fprintf(stderr, "vvp internal error: get_value: "
"value type %u not implemented." "value type %d not implemented."
" Signal is %s in scope %s\n", " Signal is %s in scope %s\n",
vp->format, vpi_get_str(vpiName, ref), vpip_scope(rfp)->name); (int)vp->format, vpi_get_str(vpiName, ref),
vpip_scope(rfp)->name);
assert(0); assert(0);
} }
} }
@ -857,8 +858,8 @@ vvp_vector4_t vec4_from_vpi_value(s_vpi_value*vp, unsigned wid)
default: default:
fprintf(stderr, "vvp internal error: put_value: " fprintf(stderr, "vvp internal error: put_value: "
"value type %u not implemented here.\n", "value type %d not implemented here.\n",
vp->format); (int)vp->format);
assert(0); assert(0);
} }
@ -1121,8 +1122,8 @@ static char* PV_get_str(int code, vpiHandle ref)
case vpiFullName: { case vpiFullName: {
const char*nm = vpi_get_str(code, rfp->parent); const char*nm = vpi_get_str(code, rfp->parent);
char full[1024+strlen(nm)]; char full[1024+strlen(nm)];
sprintf(full, "%s[%d:%d]", nm, vpi_get(vpiLeftRange, ref), sprintf(full, "%s[%d:%d]", nm, (int)vpi_get(vpiLeftRange, ref),
vpi_get(vpiRightRange, ref)); (int)vpi_get(vpiRightRange, ref));
return simple_set_rbuf_str(full); return simple_set_rbuf_str(full);
} }
@ -1185,8 +1186,8 @@ static void PV_get_value(vpiHandle ref, p_vpi_value vp)
default: default:
fprintf(stderr, "vvp internal error: PV_get_value: " fprintf(stderr, "vvp internal error: PV_get_value: "
"value type %u not implemented. Signal is %s.\n", "value type %d not implemented. Signal is %s.\n",
vp->format, vpi_get_str(vpiFullName, rfp->parent)); (int)vp->format, vpi_get_str(vpiFullName, rfp->parent));
assert(0); assert(0);
} }
} }

21
vvp/vpi_tasks.cc
View File

@ -223,7 +223,8 @@ static vpiHandle sysfunc_put_value(vpiHandle ref, p_vpi_value vp, int)
vthread_put_bit(vpip_current_vthread, rfp->vbit, BIT4_Z); vthread_put_bit(vpip_current_vthread, rfp->vbit, BIT4_Z);
break; break;
default: default:
fprintf(stderr, "Unsupported value %d.\n", vp->value.scalar); fprintf(stderr, "Unsupported value %d.\n",
(int)vp->value.scalar);
assert(0); assert(0);
} }
break; break;
@ -278,6 +279,7 @@ static vpiHandle sysfunc_put_value(vpiHandle ref, p_vpi_value vp, int)
bit4 = BIT4_X; bit4 = BIT4_X;
break; break;
default: default:
bit4 = BIT4_X;
fprintf(stderr, "Unsupported bit value %d.\n", fprintf(stderr, "Unsupported bit value %d.\n",
bit); bit);
assert(0); assert(0);
@ -292,7 +294,7 @@ static vpiHandle sysfunc_put_value(vpiHandle ref, p_vpi_value vp, int)
break; break;
default: default:
fprintf(stderr, "Unsupported format %d.\n", vp->format); fprintf(stderr, "Unsupported format %d.\n", (int)vp->format);
assert(0); assert(0);
} }
@ -319,7 +321,7 @@ static vpiHandle sysfunc_put_real_value(vpiHandle ref, p_vpi_value vp, int)
break; break;
default: default:
fprintf(stderr, "Unsupported format %d.\n", vp->format); fprintf(stderr, "Unsupported format %d.\n", (int)vp->format);
assert(0); assert(0);
} }
@ -356,7 +358,7 @@ static vpiHandle sysfunc_put_4net_value(vpiHandle ref, p_vpi_value vp, int)
break; break;
default: default:
fprintf(stderr, "Unsupported bit value %d.\n", fprintf(stderr, "Unsupported bit value %d.\n",
vp->value.scalar); (int)vp->value.scalar);
assert(0); assert(0);
} }
} }
@ -409,6 +411,7 @@ static vpiHandle sysfunc_put_4net_value(vpiHandle ref, p_vpi_value vp, int)
bit4 = BIT4_X; bit4 = BIT4_X;
break; break;
default: default:
bit4 = BIT4_X;
fprintf(stderr, "Unsupported bit value %d.\n", fprintf(stderr, "Unsupported bit value %d.\n",
bit); bit);
assert(0); assert(0);
@ -422,7 +425,8 @@ static vpiHandle sysfunc_put_4net_value(vpiHandle ref, p_vpi_value vp, int)
break; break;
default: default:
fprintf(stderr, "XXXX format=%d, vwid=%u\n", vp->format, rfp->vwid); fprintf(stderr, "XXXX format=%d, vwid=%u\n", (int)vp->format,
rfp->vwid);
assert(0); assert(0);
} }
@ -446,7 +450,8 @@ static vpiHandle sysfunc_put_rnet_value(vpiHandle ref, p_vpi_value vp, int)
break; break;
default: default:
fprintf(stderr, "Unsupported format %d.\n", vp->format); val = 0.0;
fprintf(stderr, "Unsupported format %d.\n", (int)vp->format);
assert(0); assert(0);
} }
@ -588,7 +593,7 @@ vpiHandle vpip_build_vpi_call(const char*name, unsigned vbit, int vwid,
break; break;
default: default:
fprintf(stderr, "Unsupported type %d.\n", defn->info.type); fprintf(stderr, "Unsupported type %d.\n", (int)defn->info.type);
assert(0); assert(0);
} }
@ -730,7 +735,7 @@ void vpi_register_systf(const struct t_vpi_systf_data*ss)
cur->base.vpi_type = &vpip_sysfunc_def_rt; cur->base.vpi_type = &vpip_sysfunc_def_rt;
break; break;
default: default:
fprintf(stderr, "Unsupported type %d.\n", ss->type); fprintf(stderr, "Unsupported type %d.\n", (int)ss->type);
assert(0); assert(0);
} }

2
vvp/vpi_time.cc
View File

@ -280,7 +280,7 @@ static void timevar_get_value(vpiHandle ref, s_vpi_value*vp, bool is_int_func,
break; break;
default: default:
fprintf(stderr, "vpi_time: unknown format: %d\n", vp->format); fprintf(stderr, "vpi_time: unknown format: %d\n", (int)vp->format);
assert(0); assert(0);
} }
} }

8
vvp/vpi_vthr_vector.cc
View File

@ -351,7 +351,7 @@ static void vthr_vec_get_value(vpiHandle ref, s_vpi_value*vp)
default: default:
fprintf(stderr, "internal error: vpi_get_value(<format=%d>)" fprintf(stderr, "internal error: vpi_get_value(<format=%d>)"
" not implemented for vthr_vectors.\n", vp->format); " not implemented for vthr_vectors.\n", (int)vp->format);
/* XXXX Not implemented yet. */ /* XXXX Not implemented yet. */
assert(0); assert(0);
} }
@ -398,7 +398,7 @@ static vpiHandle vthr_vec_put_value(vpiHandle ref, s_vpi_value*vp, int)
break; break;
default: default:
fprintf(stderr, "Unsupported scalar value %d.\n", fprintf(stderr, "Unsupported scalar value %d.\n",
vp->value.scalar); (int)vp->value.scalar);
assert(0); assert(0);
} }
break; break;
@ -431,7 +431,7 @@ static vpiHandle vthr_vec_put_value(vpiHandle ref, s_vpi_value*vp, int)
} }
default: default:
fprintf(stderr, "Unsupported format %d.\n", vp->format); fprintf(stderr, "Unsupported format %d.\n", (int)vp->format);
assert(0); assert(0);
} }
@ -579,7 +579,7 @@ static void vthr_real_get_value(vpiHandle ref, s_vpi_value*vp)
default: default:
fprintf(stderr, "vvp error: get %d not supported " fprintf(stderr, "vvp error: get %d not supported "
"by vpiConstant (Real)\n", vp->format); "by vpiConstant (Real)\n", (int)vp->format);
vp->format = vpiSuppressVal; vp->format = vpiSuppressVal;
break; break;

4
vvp/vpip_format.c
View File

@ -1,5 +1,5 @@
/* /*
* Copyright (c) 2003-2008 Stephen Williams (steve@icarus.com) * Copyright (c) 2003-2009 Stephen Williams (steve@icarus.com)
* *
* This source code is free software; you can redistribute it * This source code is free software; you can redistribute it
* and/or modify it in source code form under the terms of the GNU * and/or modify it in source code form under the terms of the GNU
@ -100,7 +100,7 @@ void vpip_format_strength(char*str, s_vpi_value*value, unsigned bit)
break; break;
default: default:
fprintf(stderr, "Unsupported type %d.\n", fprintf(stderr, "Unsupported type %d.\n",
value->value.strength[bit].logic); (int)value->value.strength[bit].logic);
assert(0); assert(0);
} }
} }

12
vvp/vvp_net.cc
View File

@ -340,10 +340,10 @@ vvp_bit4_t add_with_carry(vvp_bit4_t a, vvp_bit4_t b, vvp_bit4_t&c)
case 3: case 3:
c = BIT4_1; c = BIT4_1;
return BIT4_1; return BIT4_1;
default:
fprintf(stderr, "Incorrect result %d.\n", sum);
assert(0);
} }
fprintf(stderr, "Incorrect result %d.\n", sum);
assert(0);
return BIT4_X;
} }
vvp_bit4_t scalar_to_bit4(PLI_INT32 scalar) vvp_bit4_t scalar_to_bit4(PLI_INT32 scalar)
@ -357,10 +357,10 @@ vvp_bit4_t scalar_to_bit4(PLI_INT32 scalar)
return BIT4_X; return BIT4_X;
case vpiZ: case vpiZ:
return BIT4_Z; return BIT4_Z;
default:
fprintf(stderr, "Unsupported scalar value %d.\n", scalar);
assert(0);
} }
fprintf(stderr, "Unsupported scalar value %d.\n", (int)scalar);
assert(0);
return BIT4_X;
} }
vvp_bit4_t operator ^ (vvp_bit4_t a, vvp_bit4_t b) vvp_bit4_t operator ^ (vvp_bit4_t a, vvp_bit4_t b)

5
vvp/vvp_net_sig.cc
View File

@ -265,6 +265,7 @@ void automatic_signal_base::release_pv(vvp_net_ptr_t,unsigned,unsigned,bool)
unsigned automatic_signal_base::filter_size() const unsigned automatic_signal_base::filter_size() const
{ {
assert(0); assert(0);
return(0);
} }
void automatic_signal_base::force_fil_vec4(const vvp_vector4_t&, vvp_vector2_t) void automatic_signal_base::force_fil_vec4(const vvp_vector4_t&, vvp_vector2_t)
{ {
@ -593,11 +594,13 @@ unsigned vvp_fun_signal_real_aa::value_size() const
vvp_bit4_t vvp_fun_signal_real_aa::value(unsigned idx) const vvp_bit4_t vvp_fun_signal_real_aa::value(unsigned idx) const
{ {
assert(0); assert(0);
return BIT4_X;
} }
vvp_scalar_t vvp_fun_signal_real_aa::scalar_value(unsigned idx) const vvp_scalar_t vvp_fun_signal_real_aa::scalar_value(unsigned idx) const
{ {
assert(0); assert(0);
return vvp_scalar_t();
} }
void vvp_fun_signal_real_aa::vec4_value(vvp_vector4_t&) const void vvp_fun_signal_real_aa::vec4_value(vvp_vector4_t&) const
@ -1009,11 +1012,13 @@ unsigned vvp_wire_real::value_size() const
vvp_bit4_t vvp_wire_real::value(unsigned idx) const vvp_bit4_t vvp_wire_real::value(unsigned idx) const
{ {
assert(0); assert(0);
return BIT4_X;
} }
vvp_scalar_t vvp_wire_real::scalar_value(unsigned idx) const vvp_scalar_t vvp_wire_real::scalar_value(unsigned idx) const
{ {
assert(0); assert(0);
return vvp_scalar_t();
} }
void vvp_wire_real::vec4_value(vvp_vector4_t&) const void vvp_wire_real::vec4_value(vvp_vector4_t&) const