Coverity Scan on main_help.c

[Joel Sherrill]

Hi

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 OARcorp.com         On-Line Applications Research
Ask me about RTEMS: a free RTOS   Huntsville AL 35805
Support Available                 (256) 722-9985