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

C++: move IR range analysis to experimental

Browse Source
This commit is contained in:
Robert Marsh
2020-06-24 12:47:30 -07:00
parent 38067b5b34
commit fb6e578618
17 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

0
cpp/ql/test/library-tests/rangeanalysis/rangeanalysis/RangeAnalysis.expected → cpp/ql/test/experimental/library-tests/rangeanalysis/rangeanalysis/RangeAnalysis.expected
View File

2
cpp/ql/test/library-tests/rangeanalysis/rangeanalysis/RangeAnalysis.ql → cpp/ql/test/experimental/library-tests/rangeanalysis/rangeanalysis/RangeAnalysis.ql
View File

@@ -1,4 +1,4 @@
import semmle.code.cpp.rangeanalysis.RangeAnalysis
import experimental.semmle.code.cpp.rangeanalysis.RangeAnalysis
import semmle.code.cpp.ir.IR
import semmle.code.cpp.controlflow.IRGuards
import semmle.code.cpp.ir.ValueNumbering

0
cpp/ql/test/library-tests/rangeanalysis/rangeanalysis/test.cpp → cpp/ql/test/experimental/library-tests/rangeanalysis/rangeanalysis/test.cpp
View File

0
cpp/ql/test/library-tests/rangeanalysis/signanalysis/SignAnalysis.expected → cpp/ql/test/experimental/library-tests/rangeanalysis/signanalysis/SignAnalysis.expected
View File

2
cpp/ql/test/library-tests/rangeanalysis/signanalysis/SignAnalysis.ql → cpp/ql/test/experimental/library-tests/rangeanalysis/signanalysis/SignAnalysis.ql
View File

@@ -1,4 +1,4 @@
import semmle.code.cpp.rangeanalysis.SignAnalysis
import experimental.semmle.code.cpp.rangeanalysis.SignAnalysis
import semmle.code.cpp.ir.IR
string getASignString(Instruction i) {

0
cpp/ql/test/library-tests/rangeanalysis/signanalysis/binary_logical_operator.c → cpp/ql/test/experimental/library-tests/rangeanalysis/signanalysis/binary_logical_operator.c
View File

0
cpp/ql/test/library-tests/rangeanalysis/signanalysis/bounded_bounds.c → cpp/ql/test/experimental/library-tests/rangeanalysis/signanalysis/bounded_bounds.c
View File

0
cpp/ql/test/library-tests/rangeanalysis/signanalysis/inline_assembly.c → cpp/ql/test/experimental/library-tests/rangeanalysis/signanalysis/inline_assembly.c
View File

0
cpp/ql/test/library-tests/rangeanalysis/signanalysis/minmax.c → cpp/ql/test/experimental/library-tests/rangeanalysis/signanalysis/minmax.c
View File

0
cpp/ql/test/library-tests/rangeanalysis/signanalysis/test.c → cpp/ql/test/experimental/library-tests/rangeanalysis/signanalysis/test.c
View File

0
cpp/ql/test/library-tests/rangeanalysis/signanalysis/test.cpp → cpp/ql/test/experimental/library-tests/rangeanalysis/signanalysis/test.cpp
View File