[Octave-bug-tracker] [bug #55347] PVS studio static analysis report

[John W. Eaton]

Follow-up Comment #43, bug #55347 (project octave):

Rik:

I'm not sure how the static analyzer reports line numbers, but if it is like a
regular compiler, then it wouldn't even see lex.ll directly, but only lex.cc,
which contains #line directives.  With that and all the macros involved in
flex output, I think the line numbers for lex.ll can be confusing.

If the problem is the input line and column variables, why is it complaining
about yyg->yy_c_buf_p?  In the generated code in lex.cc, yyg->yy_c_buf-p is
definitely assigned twice successively because of the use of the macro
YY_DO_BEFORE_ACTION inside the macro yyless.

It does look like the line number can be screwed up in the code you quoted in
comment #40.



    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?55347>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/