Question

Here is a stripped version of my program. I don’t see why I am getting segmentation fault here.

....
int main(int argc, const char * argv[])
{
    char quit = 0;
    char buffer[100];
    ...
    while (quit == 0) {
        sprintf(buffer,"%s",get_timer_ticks(&mytimer));
        // puts(buffer);
...
}

Edit: By the way, get_timer_ticks returns Uint32.

Answer 1

You should use

sprintf(buffer,"%u",get_timer_ticks(&mytimer));

%s expects string, not integer. Since some random integer is unlikely to be a valid pointer to something resembling NULL-terminated string, SEGFAULT occurs.