vscode-codeql icon indicating copy to clipboard operation
vscode-codeql copied to clipboard

Nullary predicates always show "This query returned no results"

Open alexet opened this issue 2 years ago • 0 comments

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.

alexet avatar Nov 10 '22 18:11 alexet