Menu ▾ ▴

#4106 Missing diagnostic when qualifier for intrinsic named address space is discarded from pointer target on function call

open
nobody
None
Front-end
5
9 hours ago
9 hours ago
No

Basically the same as [bugs:#4004], but for qualifiers for intrinsic named address spaces:

void f(void *t);
void g(char *t);
void h(int *t);

void f2(void **t);
void g2(char **t);
void h2(int **t);

__far char *u = 0;    // intrinsic named address space qualifier for an address space not contained in the generic address space (for Rabbits, TLCS-90, eZ80).

void foo(void)
{
  f(u); // undiagnosed - dangerous!
  g(u); // undiagnosed - dangerous!
  h(u); // undiagnosed - dangerous!

  f2(&u); // undiagnosed - dangerous!
  g2(&u); // undiagnosed - dangerous!
  h2(&u); // undiagnosed - dangerous!
}

Related

Bugs: #4004

Discussion


Log in to post a comment.