Re: Problem report #22

[Stuart D. Herring]

> 1713    if (! data)
> 1714      {
> 1715        int there_is_a_selection_owner;
> 1716        BLOCK_INPUT;
> 1717        there_is_a_selection_owner
> 1718          = XGetSelectionOwner (display, selection_atom);
>
> At conditional (2): "interrupt_input_blocked == 0" taking true path
> At conditional (3): "interrupt_input_pending != 0" taking true path
> At conditional (4): "pending_atimers != 0" taking true path
> At conditional (5): "0" taking false path
>
> 1719        UNBLOCK_INPUT;
>
> At conditional (6): "there_is_a_selection_owner != 0" taking true path
> At conditional (7): "actual_type != 0" taking true path
>
> 1720        Fsignal (Qerror,
> [...]

If data is NULL, FSignal is always called and does a _longjmp in
unwind_to_catch...

> Event var_deref_op: Variable "data" tracked as NULL was dereferenced.
> Also see events:
> [var_compare_op][var_deref_model][var_deref_model][var_deref_model]

...So this is never reached.  No bug.

Davis

-- 
This product is sold by volume, not by mass.  If it appears too dense or
too sparse, it is because mass-energy conversion has occurred during
shipping.