но не компилятор крутится в меге, а реальная программа!
и адреса переменных (указатели) лежат в оперативе контроллера.
Мне нужно знать как программа(не компилятор) управляет указателями!!!

После компиляции программа попадет в реальное железо, и алгоритмы программы могут работать с структурами совершенно непредсказуемо, ведь в проге могут быть циклы, условные операторы с проверкой каких-то внешних событий, ну короче нельзя при компиляции знать как будет происходить работа с указателями, зато можно знать сколько всего указателей и каких они типов.

Вот ты говоришь ,что можно получить через sizeof размер переменной, но согласись маловероятно ,что реальная программа в микроконтроллере будет тратить время на расчеты длины типа данных при каждом обращении к указателю!? Разумнее было бы сделать по другому.
Возможно я повторюсь, но у меня нет других соображений кроме как предположить два варианта:
а) в оперативе проца отводится ОДИН кусок памяти, под все указатели на все типы, и тогда физическая длинна данных лежит вместе с адресом
б) в оперативной памяти формируется несколько буферов под каждый тип указателей. можно предположить что первый элемент используется в качестве длинны типа данных.
Тогда мне ясно как работают указатели на типы данных.