Select Code to Download

    printf("File name: %s\n", (ptr == NULL) ? "<unspecified>" : ptr);

    char *s;
    if (ptr == NULL)
...
    else
        s = ptr;
    printf("File name: %s\n", s);

# trinary
movl    %eax, -28(%ebp) #  to_return

# ifelse
movl    $1, -28(%ebp)   #  to_return