Передача параметров в функцию., AVR-GCC/ATMega2560 Опции

[Tuma]

Добрый день, коллеги!
Возможно я что-то недопонимаю или не знаю в C, посему возник такой вопрос:

Код

#include <stdio.h>
void SendString (const char _String[])
{
  unsigned int i = 0;
  while (_String[i] != '\0')
  {
    printf ("%c\n", _String[i]);
    i++;
  }
}

int main (void)
{
  SendString ("LaLa");
  return 0;
}

Прекрасно работает на i386.
Но ни одна из

Код

void SendString (const char _String[])
{
  unsigned int i = 0;
  while (_String[i] != '\0')
  {
    SendChar (_String[i]);
    i++;
  }
  return;
}

void SendString2 (const char *_String)
{
  while (*_String)
  {
    SendChar (*_String++);
  }
}
...
  SendString ("1234567890");
  SendString2 ("1234567890");
...

функций не работает - в функцию SendChar передаётся мусор.
Самостоятельный вызов SendChar ('a'); работает прекрасно.

Как нужно правильно передавать параметры на ATMega/AVR-GCC.

Сообщение отредактировал Tuma - Aug 12 2011, 12:43

[_Pasha]

Забыл привести одну конструкцию, используемую в Protothreads
Итак, макрос

Код

#define PT_WAIT_UNTIL(pt, condition)            \
  do {                        \
    LC_SET((pt)->lc);                \
    if(!(condition)) {                \
      return PT_WAITING;            \
    }                        \
  } while(0)

, где LC_SET()

Код

#define LC_SET(s) s = __LINE__; case __LINE__:

Поясню для тех, кому не близки Protothreads
Общий вариант построения функции с переопределяемой точкой входа - на машине Даффа, имеет упрощенный вид

Код

unsigned int protothread(unsigned int pc)
{
  switch(pc)
{
   case 0: // отсюда идет инициализация, к делу не относится

//далее, вставим ожидание события PT_WAIT_UNTIL(), получим, разворачивая макрос и немного упрощая концепцию
  do{
    pc = __LINE__; case __LINE__:;
    if(!condition) return pc;
  }while(0);
}
return pc;
}

И такая чехарда воспринимается компиляторами! Несмотря на то, что по указанному case __LINE__: мы попадем внутрь блока do{}while(0)
Это я к чему. Кто нить знает компилятор, который такое "не хавает"?

Сообщение отредактировал _Pasha - Aug 21 2011, 09:05

[ReAl]

И такая чехарда воспринимается компиляторами! Несмотря на то, что по указанному case __LINE__: мы попадем внутрь блока do{}while(0)
Это я к чему. Кто нить знает компилятор, который такое "не хавает"?

А разве он после этого будет иметь право называться компилятором языка С ?

Дабы не иметь необходимости отвечать «а почему вы спрашиваете?» на «а Вы всегда отвечаете вопросом на вопрос?» :

3.6.4 Selection statements
Syntax
selection-statement:
if ( expression ) statement
if ( expression ) statement else
switch ( expression ) statement

3.6.4.2 The switch statement
...
Semantics
A switch statement causes control to jump to, into, or past the statement that is the switch body, depending on the value of a controlling expression, and on the presence of a default label and the values of any case labels on or in the switch body. A case or default label is accessible only within the closest enclosing switch statement.

После намёка машиной даффа на то, что надо ещё раз прочесть соответствующий раздел стандарта, я это прочёл так:
В switch ( expression ) statement нет никаких уточнений по поводу того, что за statement имеется ввиду. Обычно там стоит compound statement. Кстати, в начале compound statement может стоять declaration-list:

Код

volatile int i;

void moo(int u)
{
        switch (u)
        { //  Это начало обычного compound statement, а не неотъемлемая часть switch
                volatile int j;
                case 3: j = u; u = i; i = j + u; break;
                case 4: j = -u; u = -i; i = j + u; break;
        }
}

Главное, чтобы новая переменная инициализировалась в каждой ветке. Или была static

Но никто не мешает поставить туда другой statement, например, цикл... Или... Или обычное, не-составное выражение!

Код

void foo(int u)
{
        switch (u)
        case 3:
                ++i;
}

Что компилируется, и компилиурется (естественно) в аналогичное

Код

void foo2(int u)
{
        if (u == 3) ++i;
}

Конечно, такой switch-powered-if, пришедший из Incredible Machine, никому не нужен. Но хорошо демонстирурует, что statement не обязан быть только compound.
Так что switch имеет право ходить везде, где имеет право ходить goto.