Поэтому мне интересно, если параметры командной строки всегда обнуляются? Кажется, что Google говорит да, и компиляция в GCC указывает, что это так, но могу ли я гарантировать, что это всегда будет правдой?

int main(int argc, char** argv)
{
    char *p;

    for(int cnt=1; cnt < argc; ++cnt)
    {
        p = argv[cnt];
        printf("%d = [%s]\n", cnt, p);
    }
    return 0;
}

$ MyProgram -arg1 -arg2 -arg3
1 = -arg1
2 = -arg2
3 = -arg3