Skip to content

Inconsistent highlight color for casts #1194

Open
@jketema

Description

@jketema

Describe the bug
Casts are not consistently colored. Sometimes they are green-ish and sometimes blue-ish.

Version
The CodeQL and VS Code version in which the bug occurs.

CodeQL extension version: 1.6.0
CodeQL CLI version: 2.8.2
Platform: darwin arm64

Version: 1.65.0 (Universal)
Commit: b5205cc8eb4fbaa726835538cd82372cc0222d43
Date: 2022-03-02T11:11:20.886Z
Electron: 13.5.2
Chromium: 91.0.4472.164
Node.js: 14.16.0
V8: 9.1.269.39-electron.0
OS: Darwin arm64 21.3.0

To reproduce

  1. Open ql/cpp/ql/src/Security/CWE/CWE-078/ExecTainted.ql from the CodeQL repo (current commit ID 509a3493b6b1b742bc5408c9f38e9f423b727174)
  2. Scroll to the bottom
  3. In the following line
    select sinkAsArgumentIndirection(sinkNode.getNode()), TPathNode1(sourceNode).(MergedPathNode), TPathNode2(sinkNode).(MergedPathNode),
    the first occurrence (MergedPathNode) is green-ish and the second blue-ish.

Expected behavior
Consistent coloring of casts.

Additional context

Screenshot 2022-03-08 at 10 41 03

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