codeql icon indicating copy to clipboard operation
codeql copied to clipboard

Could not resolve type BarrierGuard

Open xcainiao opened this issue 3 years ago • 2 comments
trafficstars

I use codeql and vscode, when "import semmle.code.cpp.dataflow.DataFlow". There many error

Error in transitively-imported module: D:\codeql\codeql-repo\cpp\ql\lib\semmle\code\cpp\dataflow\internal\DataFlowImpl.qll:98,39-51: Could not resolve type BarrierGuard
Error in transitively-imported module: D:\codeql\codeql-repo\cpp\ql\lib\semmle\code\cpp\dataflow\internal\DataFlowImpl.qll:106,39-51: Could not resolve type BarrierGuard
Error in transitively-imported module: D:\codeql\codeql-repo\cpp\ql\lib\semmle\code\cpp\dataflow\internal\DataFlowImpl.qll:353,12-24: Could not resolve type BarrierGuard
Error in transitively-imported module: D:\codeql\codeql-repo\cpp\ql\lib\semmle\code\cpp\dataflow\internal\DataFlowImpl.qll:360,12-24: Could not resolve type BarrierGuard
Error in transitively-imported module: D:\codeql\codeql-repo\cpp\ql\lib\semmle\code\cpp\dataflow\internal\DataFlowUtil.qll:867,20-21: unexpected input '<' expecting one of: '=', '{'
Error in transitively-imported module: D:\codeql\codeql-repo\cpp\ql\lib\semmle\code\cpp\dataflow\internal\DataFlowUtil.qll:876,1-2: unexpected input '}' expecting one of: 'and', 'implies', 'in', 'instanceof', 'or', '<', '<=', '=', '>', '>=', '-', ',', '!=', '/', '.', ')', '*', '%', '+'
Error in transitively-imported module: D:\codeql\codeql-repo\cpp\ql\lib\semmle\code\cpp\dataflow\internal\DataFlowUtil.qll:872,7-18: Could not resolve predicate guardChecks/3
Error in transitively-imported module: D:\codeql\codeql-repo\cpp\ql\lib\semmle\code\cpp\dataflow\internal\DataFlowImplLocal.qll:98,39-51: Could not resolve type BarrierGuard
Error in transitively-imported module: D:\codeql\codeql-repo\cpp\ql\lib\semmle\code\cpp\dataflow\internal\DataFlowImplLocal.qll:106,39-51: Could not resolve type BarrierGuard
Error in transitively-imported module: D:\codeql\codeql-repo\cpp\ql\lib\semmle\code\cpp\dataflow\internal\DataFlowImplLocal.qll:353,12-24: Could not resolve type BarrierGuard
Error in transitively-imported module: D:\codeql\codeql-repo\cpp\ql\lib\semmle\code\cpp\dataflow\internal\DataFlowImplLocal.qll:360,12-24: Could not resolve type BarrierGuard

xcainiao avatar Jul 13 '22 03:07 xcainiao

Thank you for your report. I will need some more information:

  1. What version of the codeql cli are you using in your workspace?
  2. What is the full file contents of the ql file you are editing?
  3. What is the directory structure of your workspace? (You can attach a screenshot of vscode's file explorer)
  4. Have you made any changes to your codeql repo checkout?

aeisenberg avatar Jul 13 '22 14:07 aeisenberg

This issue is stale because it has been open 14 days with no activity. Comment or remove the Stale label in order to avoid having this issue closed in 7 days.

github-actions[bot] avatar Aug 12 '22 02:08 github-actions[bot]

This issue was closed because it has been inactive for 7 days.

github-actions[bot] avatar Aug 19 '22 02:08 github-actions[bot]