1 2 3 4 5 6 7 8 9 10 11 12
#include <stdio.h> [[gnu::nonnull]] void prnt(char *str) { printf("%s\n", str); } int main(int argc, char *argv[]) { prnt("Some text"); prnt(NULL); return 0; }