On 05/20/2011 10:21 PM, Tim.Mooney@ndsu.edu wrote:

In regard to: Re: (ITS#6943) segfault in rwmmap in 2.4.25, masarati@aero.po...:

...

The bug is caused by the fact that "mapping" is always on, and slapo-rwm checks whether there is anything it can/need to do about special attributes, and it (incorrectly) assumed attributes have an equality rule. It has nothing to do with the fact that you defined no rules for search or so.

The quick fix would be to check whether sat_equality is NULL; the (possibly) long fix would be to entirely skip mapping when not needed.

My apologies for the delay in responding.

I've uploaded a patch,

TimMooney-110520.patch

to incoming. It tests that sat_equality is not NULL before dereferencing.

Is this essentially what you had in mind as a fix?

Yes. Fixed in HEAD. Thanks, p.