res2001

int val;
Является одновременно и определением и объявлением.
В данном случае происходит реальное выделение памяти под переменную.

Объявление это
extern int val;
Оно говорит компилятору, что где-то есть переменная val типа int. В этом случае компилятор уже знает какие операции допустимо использовать с этой переменной, но память под переменную не выделяет. Реальный адрес переменной подставит линковщик, когда будет собирать исполняемый файл из нескольких единиц трансляции.
Если в одной единице трансляции вы используете объявление переменной, то где-то (в другой единице трансляции или в этой же) вы должны обязательно сделать определение. Иначе линковщик не найдя определения выдаст undefined reference.
Если же определять переменную в каждой единице трансляции, то линковщик выругается на redefinition symbol, т.е. несколько символов с одним именем (переопределение существующего символа).
Если вам все таки нужны символы с одним именем в разных единицах трансляции, то вы должны объявлять их static. В этом случае будет использоваться локальная для данной единицы трансляции переменная с данным именем.

С функциями все аналогично.

В Си нету такого понятия как "ссылка" (это понятие из С++).
В С++ ссылки используют для изменения переменных на которые ссылается ссылка.
В Си для этого используют указатель.
Что бы еще больше имитировать ссылку, можно аргумент функции объявлять как константный указатель:
void func(char * const str);

Cicici,

Можно ли сказать что в первом случае if(x) будет истиной, если x не равно 0?

Именно так.
Второе выражение математически верно, но в программировании так не пишется. Хотя компилятор это прожует (см. ответ wisgest ), но результат выражения будет не тот, какой ожидается от математического выражения.
Правильная запись:
if (0 < x && x < 10)

Преобразование типов в Си делается так:

int a = -103;
unsigned int b = (unsigned int)a;

Но надо понимать, что unsigned типы - это беззнаковые, т.е. unsigned int переменная может принимать значение от 0 до 4294967295, т.е. значение -103 в вашем случае не входит в область допустимых значений типа unsigned int.
Когда вы делаете преобразование знаковых типов в беззнаковые вы должны четко понимать к чему это приведет.
В двоичном представлении переменная a из моего примера принимает значение: 0xFFFFFF99
Переменная b в двоичном представлении примет это же значение (0xFFFFFF99), но интерпретироваться оно будет уже как 4294967193.
Обычно когда нужно преобразование знаковых в беззнаковые числа вы перед этим должны убедиться, что знаковое число строго >=0 и только потом преобразовывать. Отрицательные значения должны обрабатываться по другому.
Хотя, конечно, могут быть и другие задачи, где не требуется отсекать отрицательные числа, а имеет значение только двоичное представление числа (например такой подход применяется при преобразовании порядка байт из little endian в big endian и наоборот).

Это верно!
Особенно заметно, когда нужна обработка больших файлов.
Избегать или нет - зависит от ситуации. Если скорость не важна, а файл не большой, то можно не заморачиваться.

Вы можете считать в буфер большой кусок и дальше посимвольно его обрабатывать но уже из собственного буфера. Этим вы избавитесь от лишних операций связанных со стандартной библиотекой.

На больших файлах вместо собственной буферизации можно использовать механизм "файлов проецируемых в память", предоставляемый ОС.

for(int step = 0; mysql.array[step]; step++)//очищаю каждый элемент массива
        free(mysql.array[step]);

1.Цикл завершается на первом встреченном пустом элементе.
Судя по логике у вас могут быть пустые строки, под которые память не выделилась, а затем снова могут идти заполненные строки.
2.Кроме того после выделения памяти для mysql.array рекомендую сразу ее обнулять. malloc не зануляет выделенную память - в ней лежит мусор, используйте calloc или memset. Из-аз этого проверка в цикле выше (mysql.array[step]) может срабатывать не корректно.

Т.е. вам нужен HTTP сервер на Си.
libonion - только Линукс, SSL есть.
haywire - кросс-платформенно, по моему он не умеет SSL.

Немного усложните программу, например написав парочку функций, которые определяют еще несколько переменных и что-нибудь в них пишут. В main() вызовите эти функции, а затем объявите test и выведите его значение. Вот тогда у вас гарантированно образуется мусор. При компиляции, нужно еще предотвратить оптимизацию компилятором (опция -O0), а то он может выкинуть вызовы функций, если посчитает, что они не влияют на дальнейшее выполнение программы.

Что бы понять происходящее, почитайте как работает стек.
Автоматические переменные определяются на стеке. Одно и то же место на стеке в разное время выполнения программы могут занимать разные переменные. Если вы не инициализируете автоматическую переменную, то она принимет то значение, которое уже лежит в области памяти, которую она занимает. Из-за того, что переменные имеют разный размер, то часто, например текущая 4 байтовая переменная (int) может занимать память, в которой до этого были 2 двух байтовые переменные, или любые другие вариации.
Стек выделяется при загрузке программы (или при старте потока). В ходе выполнения программы стек не освобождается и не перевыделяется, поэтому мусор (данные от старых автоматических переменных) в нем образуется постоянно. При выходе автоматической переменной из области видимости фактического освобождения памяти не происходит - просто изменяется указатель на стек (регистр sp), т.е. при этом не происходит даже обращения к памяти. Поэтому все ранее сохраненные в стеке значения в памяти остаются. И когда вы определяете новую переменную без инициализации, она занимает ранее освобожденное место и принимает какое-то значение (мусор), которое ранее было сохранено в эту область памяти.