Skip to content

Commit

Permalink
Merge branch 'main' into post-release-prep/codeql-cli-2.15.1
Browse files Browse the repository at this point in the history
  • Loading branch information
dbartol authored Oct 19, 2023
2 parents 8dcd8b9 + 2a1ca63 commit 712f775
Show file tree
Hide file tree
Showing 120 changed files with 14,925 additions and 4,728 deletions.
11 changes: 10 additions & 1 deletion .github/dependabot.yml
Original file line number Diff line number Diff line change
Expand Up @@ -25,9 +25,18 @@ updates:
allow:
- dependency-name: "golang.org/x/mod"
- dependency-name: "golang.org/x/tools"
group:
groups:
extractor-dependencies:
patterns:
- "golang.org/x/*"
reviewers:
- "github/codeql-go"

- package-ecosystem: "gomod"
directory: "go/ql/test"
schedule:
interval: "monthly"
ignore:
- dependency-name: "*"
reviewers:
- "github/codeql-go"
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
class BuiltinType extends @builtintype {
string toString() { none() }
}

from BuiltinType type, string name, int kind, int kind_new, int size, int sign, int alignment
where
builtintypes(type, name, kind, size, sign, alignment) and
if
type instanceof @fp16 or
type instanceof @std_bfloat16 or
type instanceof @std_float16 or
type instanceof @complex_std_float32 or
type instanceof @complex_float32x or
type instanceof @complex_std_float64 or
type instanceof @complex_float64x or
type instanceof @complex_std_float128
then kind_new = 2
else kind_new = kind
select type, name, kind_new, size, sign, alignment
Loading

0 comments on commit 712f775

Please sign in to comment.