hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 16:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

JS: Add test showing DB-CHECK failure

Browse Source
This commit is contained in:
Asger F
2025-01-21 14:02:17 +01:00
parent 43bc3e5d99
commit f3b52adde6
5 changed files with 15 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
javascript/ql/test/library-tests/TypeScript/RegressionTests/EmbeddedTypeScriptNoTSConfig/DB-CHECK.expected Normal file
View File

@@ -0,0 +1,3 @@
[VALUE_NOT_IN_TYPE] predicate toplevel_parent_xml_node(@toplevel toplevel, @xml_node_with_code xmlnode): Value 16 of field toplevel is not in type @toplevel. Appears in tuple (16,-16777216)
Relevant element: toplevel=16
Full ID for 16: @"script;(0),4,25". The ID may expand to @"script;{@"/Users/asger/git/code/ql/javascript/ql/test/library-tests/TypeScript/RegressionTests/EmbeddedTypeScriptNoTSConfig/embedded-typescript.vue;sourcefile"},4,25"

7
javascript/ql/test/library-tests/TypeScript/RegressionTests/EmbeddedTypeScriptNoTSConfig/embedded-typescript.vue Normal file
View File

@@ -0,0 +1,7 @@
<template>
<p v-html="input" />
</template>
<script setup lang="ts">
console.log("hello");
</script>
<style></style>

1
javascript/ql/test/library-tests/TypeScript/RegressionTests/EmbeddedTypeScriptNoTSConfig/test.expected Normal file
View File

@@ -0,0 +1 @@
| test.js:1:1:2:0 | <toplevel> |

1
javascript/ql/test/library-tests/TypeScript/RegressionTests/EmbeddedTypeScriptNoTSConfig/test.js Normal file
View File

@@ -0,0 +1 @@
console.log("hello");

3
javascript/ql/test/library-tests/TypeScript/RegressionTests/EmbeddedTypeScriptNoTSConfig/test.ql Normal file
View File

@@ -0,0 +1,3 @@
import javascript
query predicate toplevels(TopLevel top) { any() }