C是否对目标文件做出任何保证？

我有一些我想要更改的C代码,但我想使用#ifdefs以便可以编译旧的目标文件(后预处理代码不会更改).出于某些原因(编译几个平台和认证原因),我需要保持目标文件相同(除了任何时间戳).

C语言规范或任何C编译器是否对重新编译有任何保证？我一直在做一些谷歌搜索,但我还没有找到关于这个主题的任何内容.

例如:

main.c中

int main() {
    printf("Hello World!\n");
    return 0;
}

main.h(新文件)

#ifdef DEBUG
    char some_buffer[1000];
    #define PRINTF(S) (sprintf(some_buffer, S))
#else
    #define PRINTF(S) (printf(S))
#endif

main.c(更新文件)

#include "main.h"

int main() {
    PRINTF("Hello World!\n");
    return 0;
}

如果我编译DEBUG更新main.c中没有定义的,现在包括main.h,不C语言规范或任何C编译器作任何保证该目标文件将是相同的？