Menu

#1334 Index negative

Undefined
fixed
nobody
None
Bug_Report
2022-11-24
2022-11-24
No

/src/sdk/wxscintilla/src/scintilla/lexers/LexMetapost.cxx line 182
Code:
int extraInterface = 0 ;

if (currentInterface != 0) {
    extraInterface = currentInterface ;
}

WordList &keywords  = *keywordlists[0] ;
WordList &keywords2 = *keywordlists[extraInterface-1] ; // <- may be negative

Discussion

  • Miguel Gimenez

    Miguel Gimenez - 2022-11-24
    • status: open --> fixed
     
  • Miguel Gimenez

    Miguel Gimenez - 2022-11-24

    Fixed in [r13063], thank you.

     

    Related

    Commit: [r13063]


Log in to post a comment.

MongoDB Logo MongoDB