Coverity Scan on main_help.c

Joel Sherrill joel.sherrill at
Tue Sep 17 14:05:35 UTC 2013


Take a peek at Issue 1063872 and 1063873. These are in main_help.c
and I think Scan is not happy with newlib's putchar() macro. It
increments the buffer pointer but it always ends up one past
what you use on any given call.

Since the pointer ends up pointing at something which is not
visibly dereferenced, Scan is not happy.

I think this is another intentional and OK to ignore but a
double check is also appreciated.

Joel Sherrill, Ph.D.              Director of Research & Development
joel.sherrill at         On-Line Applications Research
Ask me about RTEMS: a free RTOS   Huntsville AL 35805
Support Available                 (256) 722-9985

More information about the devel mailing list