krr / IDP / issues / #814 - Segfault when printing voc — Bitbucket

Issue #814 resolved

Joachim Jansen created an issue 2014-09-18

Attached file segfaults. All it does is printing the vocabulary.

Bug is at idpprinter.hpp:240 where pred->sort(0) is requested, but this returns NULL

printvoc_segfault.idp

Comments (5)

Bart Bogaerts
Hypothese: er ontbreekt een check op overloading. P is een overloaded predicate. Moet eerst gedesambigueerd worden.

Of... Er worden alle predicaten van V opgevraagd ipv alle nonoverloaded
- 2014-09-18T18:10:47+00:00
Bart Bogaerts
- changed status to resolved
Improved IDP printer.

Now it checks for overloadedness BEFORE working with the predicate as if it is non-overloaded. Fixes ~~#814~~

→ <<cset af7b3ed0b784>>
- 2014-09-19T12:04:03+00:00
Bart Bogaerts
added regression test.

See ~~#814~~

→ <<cset 843c481cf87c>>
- 2014-09-19T12:04:03+00:00
Joachim Jansen reporter
Improved IDP printer.

Now it checks for overloadedness BEFORE working with the predicate as if it is non-overloaded. Fixes ~~#814~~

→ <<cset af7b3ed0b784>>
- 2014-09-19T13:23:04+00:00
Joachim Jansen reporter
added regression test.

See ~~#814~~

→ <<cset 843c481cf87c>>
- 2014-09-19T13:23:04+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 3

Jira: the preferred issue tracker for Bitbucket. Join the team!