On Mon, Feb 10, 2020 at 01:00:11PM +0100, Stephan Witt wrote:

> Am 07.02.2020 um 08:32 schrieb Enrico Forestieri <for...@lyx.org>:
> > 
> > On Thu, Feb 06, 2020 at 10:36:30PM +0100, Stephan Witt wrote:
> >> But some cases I’d like to point out:
> >> 
> >> InsetMathSpace::doDispatch() calls createInsetMath_fromDialogStr()
> >> createInsetMath_fromDialogStr calls mathed_parse_cell()
> >> mathed_parse_cell() calls Parser() with NULL buffer
> >> 
> >> Similar is the call to createInsetMath_fromDialogStr in
> >> InsetMathRef::doDispatch() and InsetMathRef::changeTarget().
> >> 
> >> These look dangerous too, IMO. What do you think?
> >> Do you know how to trigger this pieces of code?
> > 
> > It is hard to tell how dangerous they are. As said, in most cases the
> > validity of the buffer member is checked before being used. So, having
> > a null there is not troublesome for most code paths. However, it can
> > bite in certain cases. In the case at hand, the buffer has always been
> > null but, not being used in certain code paths, it has never been a
> > problem.
> 
> I see a problem in Parser::parse1(). 
> (The line numbers are in master as of today b8546139c8)
> 
> The code block below line 1983 uses the buffer member. 
> At line 1986 and 1990 there is a NULL pointer check but at line 2086
> the check is missing. This has to be corrected IMO.

Done at 536d476d.

> BTW, the value assigned to num_tokens in line 2092 is not used
> because it’s defined local at line 2055 and used only in else block
> at line 2105.

Those assignments were added at 1a6c5999 and I agree that they are
superfluous. Removed at 926c846a.

-- 
Enrico
-- 
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel

Reply via email to