// Clause: 7.27.3.5 — Passing null pointers where non-null required leads to UB.
#include <time.h>
int main(void){
    strftime((char*)0, 10, "%Y", (const struct tm*)0); // UB
    return 0;
}
