Расположение исполняемого файла, сформированного после компиляции программы на C

Если вы не укажете явную опцию -o , по умолчанию должен быть файл с именем a.out . На странице руководства по компилятору GNU man gcc это объясняется следующим образом:

-o file
    Place output in file file.  This applies to whatever sort of output
    is being produced, whether it be an executable file, an object
    file, an assembler file or preprocessed C code.

    If -o is not specified, the default is to put an executable file in
    a.out, the object file for source.suffix in source.o, its assembler
    file in source.s, a precompiled header file in source.suffix.gch,
    and all preprocessed C source on standard output.