225535 - Make dreftool correctly handle assigning to dereferenced objects

Status: RESOLVED INCOMPLETE

(Core Graveyard :: Tracking, defect)

Description

[timeless]

|*foo = new something| is not quite correctly handled (perhaps it's
misinterpreted as
|foo = new something|. e.x.

dreftool -H -D
../../../mozilla/extensions/transformiix/source/xslt/txStandaloneXSLTProcessor.cpp

Expected results:
Summary for
../../../mozilla/extensions/transformiix/source/xslt/txStandaloneXSLTProcessor.cpp: 
===============================
Files:  1
Lines:  ...
Errors: 0

Actual results:

mozilla/extensions/transformiix/source/xslt/txStandaloneXSLTProcessor.cpp:88
Deref-error: "aHandler"
mozilla/extensions/transformiix/source/xslt/txStandaloneXSLTProcessor.cpp:92
Deref-error: "aHandler"
mozilla/extensions/transformiix/source/xslt/txStandaloneXSLTProcessor.cpp:96
Deref-error: "aHandler"

Reading the code one sees that the allocated object was allocated in 84, 88, 92,
and 96, and checked in 99. For some reason dreftool doesn't mind 84, although it
flags 88, 92 and 96. My guess is that the problem relates to dereferencing the
object, but it could just be that the code doesn't handle multiple paths which
reach the same check.

Comment 1

[Bryan]

Hi,
I noticed that too I will need to make sure that it is not a regression or a 
new bug that is forming.

Comment 2

[Bernd]

Sorry but for a foreseeable future I would like to focus on table bugs and dont
intend to work on this.

Comment 3

[BMO Automation]

Marking all tracking bugs which haven't been updated since 2014 as INCOMPLETE.
If this bug is still relevant, please reopen it and move it into a bugzilla component related to the work
being tracked. The Core: Tracking component will no longer be used.