hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

Dataflow: Instantiate stage 1 access paths with proper unit type

Browse Source
This commit is contained in:
Kasper Svendsen
2023-03-23 08:32:16 +01:00
parent 71c37dba32
commit ce6be1f636
8 changed files with 8 additions and 40 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll
View File

@@ -445,11 +445,7 @@ module Impl<FullStateConfigSig Config> {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class Ap extends int { class Ap = Unit;
// workaround for bad functionality-induced joins (happens when using `Unit`)
pragma[nomagic]
Ap() { this in [0 .. 1] and this < 1 }
}
private class Cc = boolean; private class Cc = boolean;

6
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll
View File

@@ -445,11 +445,7 @@ module Impl<FullStateConfigSig Config> {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class Ap extends int { class Ap = Unit;
// workaround for bad functionality-induced joins (happens when using `Unit`)
pragma[nomagic]
Ap() { this in [0 .. 1] and this < 1 }
}
private class Cc = boolean; private class Cc = boolean;

6
csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl.qll
View File

@@ -445,11 +445,7 @@ module Impl<FullStateConfigSig Config> {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class Ap extends int { class Ap = Unit;
// workaround for bad functionality-induced joins (happens when using `Unit`)
pragma[nomagic]
Ap() { this in [0 .. 1] and this < 1 }
}
private class Cc = boolean; private class Cc = boolean;

6
go/ql/lib/semmle/go/dataflow/internal/DataFlowImpl.qll
View File

@@ -445,11 +445,7 @@ module Impl<FullStateConfigSig Config> {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class Ap extends int { class Ap = Unit;
// workaround for bad functionality-induced joins (happens when using `Unit`)
pragma[nomagic]
Ap() { this in [0 .. 1] and this < 1 }
}
private class Cc = boolean; private class Cc = boolean;

6
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl.qll
View File

@@ -445,11 +445,7 @@ module Impl<FullStateConfigSig Config> {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class Ap extends int { class Ap = Unit;
// workaround for bad functionality-induced joins (happens when using `Unit`)
pragma[nomagic]
Ap() { this in [0 .. 1] and this < 1 }
}
private class Cc = boolean; private class Cc = boolean;

6
python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl.qll
View File

@@ -445,11 +445,7 @@ module Impl<FullStateConfigSig Config> {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class Ap extends int { class Ap = Unit;
// workaround for bad functionality-induced joins (happens when using `Unit`)
pragma[nomagic]
Ap() { this in [0 .. 1] and this < 1 }
}
private class Cc = boolean; private class Cc = boolean;

6
ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImpl.qll
View File

@@ -445,11 +445,7 @@ module Impl<FullStateConfigSig Config> {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class Ap extends int { class Ap = Unit;
// workaround for bad functionality-induced joins (happens when using `Unit`)
pragma[nomagic]
Ap() { this in [0 .. 1] and this < 1 }
}
private class Cc = boolean; private class Cc = boolean;

6
swift/ql/lib/codeql/swift/dataflow/internal/DataFlowImpl.qll
View File

@@ -445,11 +445,7 @@ module Impl<FullStateConfigSig Config> {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class Ap extends int { class Ap = Unit;
// workaround for bad functionality-induced joins (happens when using `Unit`)
pragma[nomagic]
Ap() { this in [0 .. 1] and this < 1 }
}
private class Cc = boolean; private class Cc = boolean;