🚀 go-pugleaf

Jest nastepujacy program (uruchomiony na linuxie - gnu cc - oraz win95
skompilowany builderem, po niewielkich przerobkach):

---------------------------------------------------------------
#include<stdio.h>

class CCos
{
public:
  int a;
  int b;
  int ple() {return a*b;}
};

typedef struct
{
  CCos *me;
  char c[8];
} TCos;

int main()
{
  TCos ala;
  ala.me = (CCos *) &ala;
  ((CCos *)&ala)->a = 2;
  ((CCos *)&ala)->b = 3;

  printf("%d\n",((CCos*) &ala)->ple());

  return 0;
}

---------------------------------------------------------------

Zdaje sobie sprawe, ze calosc jest z deka bezsensowna, ale sa powody,
dla ktorych cos takiego bylo mi potrzebne - tzn. ze chcialem "wsadzic"
obiekt klasy CCos w zmienna strukturalna TCos.
Pytanie zostalo przedstawione w tutule, z tym  ze nie chodzi mi o
dzialanie kodu programu przedstawionego powyzej, lecz po malych
zmianach, tj, gdy:
- w strukturze TCos jedna lub obie zmienne zostaje zakomentowane
- i/lub  wywalmy linie: ala.me = (CCos *) &ala;

Po wykonaniu przy najmniej jednego z powyzszych krokow program powinien
sie sypnac, co nie nastepuje.
Proste wytlumaczenie jest takie, ze wszystkie odwolania do zmiennej ala
odnosza sie do "gdzies" na stercie, ktora nalezy do programu, zatem nie
wystapi blad ochrony.
Moze sie myle i bylbym wdzieczny za korekcje, a najcheteniej za jakas
sugestie, ktora by jednak przyczynila sie do wywalenia programu :-).
Wydaje sie dziwne (a moze nie?), ze program _zawsze_ na _roznych_
systemach, trafia w obszar sterty (jak przyjalem), a moze jest to
"ochrona" wbudowana w kompilator???

Pozdrawiam,
  Michal