{
  "queryName": "Contradictory guard nodes",
  "queryFilePath": "c:\\Users\\foo\\bar\\quick-query.ql",
  "queryText": "/**\n * @name Contradictory guard nodes\n * \n * @description Snippet from \"UselessComparisonTest.ql\"\n */\n\nimport javascript\n\n/**\n * Holds if there are any contradictory guard nodes in `container`.\n *\n * We use this to restrict reachability analysis to a small set of containers.\n */\npredicate hasContradictoryGuardNodes(StmtContainer container) {\n  exists(ConditionGuardNode guard |\n    RangeAnalysis::isContradictoryGuardNode(guard) and\n    container = guard.getContainer()\n  )\n}\n\nfrom StmtContainer c\nwhere hasContradictoryGuardNodes(c)\nselect c, c.getNumLines()",
  "language": "javascript",
  "controllerRepository": {
    "owner": "dsp-testing",
    "name": "qc-controller"
  },
  "executionStartTime": 1650979054479,
  "actionsWorkflowRunId": 2226920623
}
