Skip to content

Nullary predicates always show "This query returned no results" #1743

Open
@alexet

Description

@alexet

Describe the bug
A nullary predicate with a result shows the "This query returned no results" message even if it has a result.
It does show "1 result" in the top left as well leading to a contradictory view of results

Version
CodeQL extension version: 1.7.5
CodeQL CLI version: 2.11.3
Platform: linux x64

To reproduce
Run:

query predicate foo() { any() }

Look at the results

Expected behavior
Something like "1 nullary result" or "1 empty result".

Additional context
I don't think this is that important in general to fix as nullary predicates are not commonly used but it is wrong.

Metadata

Metadata

Assignees

No one assigned

    Labels

    VSCodebugSomething isn't working

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions