usr/src/tools/smatch/src/smatch.c

131

sm_fatal("'%s' not found", s);

usr/src/tools/smatch/src/smatch.c

225

sm_fatal("invalid option %s", (*argvp)[i]);

usr/src/tools/smatch/src/smatch_flow.c

1895

sm_fatal("Cannot open %s", buf);

usr/src/tools/smatch/src/smatch_flow.c

1903

sm_fatal("Error: Cannot open %s", buf);

usr/src/tools/smatch/src/smatch_flow.c

1908

sm_fatal("Error: Cannot open %s", buf);

usr/src/tools/smatch/src/smatch_links.c

103

sm_fatal("FATAL ERROR: links need to be registered directly after the check");

usr/src/tools/smatch/src/smatch_modification_hooks.c

75

sm_fatal("multiple modification hooks for %s", check_name(owner));

usr/src/tools/smatch/src/smatch_modification_hooks.c

82

sm_fatal("multiple late modification hooks for %s", check_name(owner));

usr/src/tools/smatch/src/smatch_ranges.c

1571

sm_fatal("error calculating intersection of '%s' and '%s'", show_rl(one_rl), show_rl(two_rl));