d0p1/ack
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Check more, when an error occurred

Browse source
This commit is contained in:
ceriel 1986-11-17 13:08:18 +00:00
parent 9d0ee46068
commit 596c631a71
1 changed files with 33 additions and 24 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

57
lang/m2/comp/chk_expr.c
View file

@ -29,11 +29,11 @@ STATIC
Xerror(nd, mess, edf) Xerror(nd, mess, edf)
struct node *nd; struct node *nd;
char *mess; char *mess;
struct def *edf; register struct def *edf;
{ {
if (edf) { if (edf) {
if (edf->df_kind != D_ERROR) { if (edf->df_kind != D_ERROR) {
node_error(nd, "\"%s\": %s", edf->df_idf->id_text, mess); node_error(nd,"\"%s\": %s", edf->df_idf->id_text, mess);
} }
} }
else node_error(nd, "%s", mess); else node_error(nd, "%s", mess);
@ -517,6 +517,16 @@ ChkProcCall(expp)
if (left->nd_class == Def || left->nd_class == LinkDef) { if (left->nd_class == Def || left->nd_class == LinkDef) {
edf = left->nd_def; edf = left->nd_def;
} }
if (left->nd_type == error_type) {
/* Just check parameters as if they were value parameters
*/
expp->nd_type = error_type;
while (expp->nd_right) {
getarg(&expp, 0, 0, edf);
}
return 0;
}
expp->nd_type = RemoveEqual(ResultType(left->nd_type)); expp->nd_type = RemoveEqual(ResultType(left->nd_type));
/* Check parameter list /* Check parameter list
@ -564,31 +574,30 @@ ChkCall(expp)
*/ */
expp->nd_type = error_type; expp->nd_type = error_type;
left = expp->nd_left; left = expp->nd_left;
if (! ChkDesignator(left)) return 0; if (ChkDesignator(left)) {
if (IsCast(left)) {
if (IsCast(left)) { /* It was a type cast.
/* It was a type cast.
*/
return ChkCast(expp, left);
}
if (IsProcCall(left)) {
/* A procedure call.
It may also be a call to a standard procedure
*/
if (left->nd_type == std_type) {
/* A standard procedure
*/ */
return ChkStandard(expp, left); return ChkCast(expp, left);
} }
/* Here, we have found a real procedure call. The left hand
side may also represent a procedure variable.
*/
return ChkProcCall(expp);
}
node_error(left, "procedure, type, or function expected"); if (IsProcCall(left)) {
return 0; /* A procedure call.
It may also be a call to a standard procedure
*/
if (left->nd_type == std_type) {
/* A standard procedure
*/
return ChkStandard(expp, left);
}
/* Here, we have found a real procedure call.
The left hand side may also represent a procedure
variable.
*/
}
else node_error(left, "procedure, type, or function expected");
}
return ChkProcCall(expp);
} }
STATIC struct type * STATIC struct type *