zorba-coders team mailing list archive

[Ghislain Fourny <919189@xxxxxxxxxxxxxxxxxx>]

Public bug reported:

At this location, in function ZorbaImpl::init(Store* store):

http://bazaar.launchpad.net/~zorba-
coders/zorba/trunk/view/head:/src/api/zorbaimpl.cpp#L93

The assertion

assert(store == NULL || store2 == store);

allows the variable store to be NULL (and there are places that do call
this function indirectly with an explicit NULL store pointer, such as
here:

http://bazaar.launchpad.net/~zorba-
coders/zorba/trunk/view/head:/modules/com/zorba-xquery/www/modules/http-
client.xq.src/http_client.cpp#L68

).

However, this assertion is followed by

GlobalEnvironment::init(store);

that always fails upon a NULL pointer.

** Affects: zorba
     Importance: Medium
     Assignee: Markos Zaharioudakis (markos-za)
         Status: New

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/919189

Title:
  ZorbaImpl::init might call GlobalEnvironment::init with a NULL store
  pointer

Status in Zorba - The XQuery Processor:
  New

Bug description:
  At this location, in function ZorbaImpl::init(Store* store):

  http://bazaar.launchpad.net/~zorba-
  coders/zorba/trunk/view/head:/src/api/zorbaimpl.cpp#L93

  The assertion

  assert(store == NULL || store2 == store);

  allows the variable store to be NULL (and there are places that do
  call this function indirectly with an explicit NULL store pointer,
  such as here:

  http://bazaar.launchpad.net/~zorba-
  coders/zorba/trunk/view/head:/modules/com/zorba-xquery/www/modules
  /http-client.xq.src/http_client.cpp#L68

  ).

  However, this assertion is followed by

  GlobalEnvironment::init(store);

  that always fails upon a NULL pointer.

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/919189/+subscriptions