diff --git a/cpp/ql/test/examples/expressions/PrintAST.expected b/cpp/ql/test/examples/expressions/PrintAST.expected index 724b109db489..2167ca3f4e5e 100644 --- a/cpp/ql/test/examples/expressions/PrintAST.expected +++ b/cpp/ql/test/examples/expressions/PrintAST.expected @@ -324,7 +324,7 @@ Conversion3.cpp: # 2| getExpr(): [CStyleCast] (int)... # 2| Conversion = [IntegralConversion] integral conversion # 2| Type = [IntType] int -# 2| Value = [CStyleCast] 1 +# 2| Value = [CStyleCast] 5 # 2| ValueCategory = prvalue # 2| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...) # 2| Type = [IntType] int diff --git a/cpp/ql/test/library-tests/funcdname/funcdname.expected b/cpp/ql/test/library-tests/funcdname/funcdname.expected index 7564b54bff1e..670b77b8a6b0 100644 --- a/cpp/ql/test/library-tests/funcdname/funcdname.expected +++ b/cpp/ql/test/library-tests/funcdname/funcdname.expected @@ -1,2 +1,2 @@ | Bar::(unnamed namespace)::B | Bar::::B | -| Foo::(unnamed namespace)::A | _ZN3Foo37_GLOBAL__N__13_funcdname_cpp_?AEv | +| Foo::(unnamed namespace)::A | _ZN35_INTERNAL_13_funcdname_cpp_?Foo37_GLOBAL__N__13_funcdname_cpp_?AEv | diff --git a/cpp/ql/test/library-tests/funcdname/funcdname.ql b/cpp/ql/test/library-tests/funcdname/funcdname.ql index 08026d75e597..f3f34005ff64 100644 --- a/cpp/ql/test/library-tests/funcdname/funcdname.ql +++ b/cpp/ql/test/library-tests/funcdname/funcdname.ql @@ -2,4 +2,8 @@ import cpp from Function f, ReturnStmt r where r.getEnclosingFunction() = f -select f.getQualifiedName(), r.getExpr().getValue().regexpReplaceAll("_[0-9a-f]+AEv$", "_?AEv") +select f.getQualifiedName(), + r.getExpr() + .getValue() + .regexpReplaceAll("_[0-9a-f]+AEv$", "_?AEv") + .regexpReplaceAll("cpp_[0-9a-f]+Foo37_", "cpp_?Foo37_") diff --git a/cpp/ql/test/library-tests/ir/ir/PrintAST.expected b/cpp/ql/test/library-tests/ir/ir/PrintAST.expected index 8d36ea7f9529..0b825a0a855b 100644 --- a/cpp/ql/test/library-tests/ir/ir/PrintAST.expected +++ b/cpp/ql/test/library-tests/ir/ir/PrintAST.expected @@ -23814,11 +23814,11 @@ ir.cpp: # 2692| Conversion = [IntegralConversion] integral conversion # 2692| Type = [LongType] unsigned long # 2692| ValueCategory = prvalue -#-----| getExpr().getFullyConverted(): [CStyleCast] (int)... -#-----| Conversion = [IntegralConversion] integral conversion -#-----| Type = [IntType] int -#-----| Value = [CStyleCast] 1 -#-----| ValueCategory = prvalue +# 2692| getExpr().getFullyConverted(): [CStyleCast] (int)... +# 2692| Conversion = [IntegralConversion] integral conversion +# 2692| Type = [IntType] int +# 2692| Value = [CStyleCast] 1 +# 2692| ValueCategory = prvalue # 2693| getStmt(1): [ReturnStmt] return ... # 2693| getExpr(): [VariableAccess] y # 2693| Type = [IntType] int diff --git a/cpp/ql/test/library-tests/ir/ir/aliased_ir.expected b/cpp/ql/test/library-tests/ir/ir/aliased_ir.expected index b95e1b231d8b..20d593e2379a 100644 --- a/cpp/ql/test/library-tests/ir/ir/aliased_ir.expected +++ b/cpp/ql/test/library-tests/ir/ir/aliased_ir.expected @@ -19457,11 +19457,11 @@ ir.cpp: # 2691| m2691_3(unknown) = InitializeNonLocal : # 2691| m2691_4(unknown) = Chi : total:m2691_2, partial:m2691_3 # 2692| r2692_1(glval) = VariableAddress[y] : -#-----| r0_1(int) = Constant[1] : -#-----| m0_2(int) = Store[y] : &:r2692_1, r0_1 +# 2692| r2692_2(int) = Constant[1] : +# 2692| m2692_3(int) = Store[y] : &:r2692_1, r2692_2 # 2693| r2693_1(glval) = VariableAddress[#return] : # 2693| r2693_2(glval) = VariableAddress[y] : -# 2693| r2693_3(int) = Load[y] : &:r2693_2, m0_2 +# 2693| r2693_3(int) = Load[y] : &:r2693_2, m2692_3 # 2693| m2693_4(int) = Store[#return] : &:r2693_1, r2693_3 # 2691| r2691_5(glval) = VariableAddress[#return] : # 2691| v2691_6(void) = ReturnValue : &:r2691_5, m2693_4 diff --git a/cpp/ql/test/library-tests/ir/ir/raw_ir.expected b/cpp/ql/test/library-tests/ir/ir/raw_ir.expected index cf8d638e4952..11d74a2a26bd 100644 --- a/cpp/ql/test/library-tests/ir/ir/raw_ir.expected +++ b/cpp/ql/test/library-tests/ir/ir/raw_ir.expected @@ -17775,8 +17775,8 @@ ir.cpp: # 2691| mu2691_2(unknown) = AliasedDefinition : # 2691| mu2691_3(unknown) = InitializeNonLocal : # 2692| r2692_1(glval) = VariableAddress[y] : -#-----| r0_1(int) = Constant[1] : -#-----| mu0_2(int) = Store[y] : &:r2692_1, r0_1 +# 2692| r2692_2(int) = Constant[1] : +# 2692| mu2692_3(int) = Store[y] : &:r2692_1, r2692_2 # 2693| r2693_1(glval) = VariableAddress[#return] : # 2693| r2693_2(glval) = VariableAddress[y] : # 2693| r2693_3(int) = Load[y] : &:r2693_2, ~m? diff --git a/cpp/ql/test/library-tests/ir/range-analysis/SimpleRangeAnalysis_tests.cpp b/cpp/ql/test/library-tests/ir/range-analysis/SimpleRangeAnalysis_tests.cpp index 7b359a046d81..649d99a7575c 100644 --- a/cpp/ql/test/library-tests/ir/range-analysis/SimpleRangeAnalysis_tests.cpp +++ b/cpp/ql/test/library-tests/ir/range-analysis/SimpleRangeAnalysis_tests.cpp @@ -1011,10 +1011,10 @@ void test_overflow() { range(x); // $ range===2147483647 const int y = 256; range(y); // $ range===256 - if ((x + y) <= 512) { + if ((x + y) <= 512) { // $ overflow=+ range(x); // $ range===2147483647 range(y); // $ range===256 - range(x + y); // $ range===-2147483393 + range(x + y); // $ range=<=2147483903 overflow=+ } } diff --git a/cpp/ql/test/library-tests/templates/nontype_instantiations/general/test.expected b/cpp/ql/test/library-tests/templates/nontype_instantiations/general/test.expected index c4b76a9d2fc1..47aa18f9a5b8 100644 --- a/cpp/ql/test/library-tests/templates/nontype_instantiations/general/test.expected +++ b/cpp/ql/test/library-tests/templates/nontype_instantiations/general/test.expected @@ -1,13 +1,13 @@ -| test.cpp:3:8:3:8 | C<1> | 0 | int | test.cpp:5:25:5:25 | 1 | 1 | -| test.cpp:3:8:3:8 | C<2> | 0 | int | file://:0:0:0:0 | 2 | 2 | +| test.cpp:3:8:3:8 | C<1> | 0 | int | test.cpp:6:3:6:6 | one1 | 1 | +| test.cpp:3:8:3:8 | C<2> | 0 | int | test.cpp:7:3:7:13 | ... + ... | 2 | | test.cpp:3:8:3:8 | C | 0 | int | file://:0:0:0:0 | x | x | | test.cpp:10:8:10:8 | D | 0 | | test.cpp:9:19:9:19 | T | | | test.cpp:10:8:10:8 | D | 1 | T | file://:0:0:0:0 | X | X | | test.cpp:10:8:10:8 | D | 0 | | file://:0:0:0:0 | int | | | test.cpp:10:8:10:8 | D | 1 | int | test.cpp:12:8:12:8 | 2 | 2 | | test.cpp:10:8:10:8 | D | 0 | | file://:0:0:0:0 | long | | -| test.cpp:10:8:10:8 | D | 1 | long | file://:0:0:0:0 | 2 | 2 | +| test.cpp:10:8:10:8 | D | 1 | long | test.cpp:13:9:13:9 | 2 | 2 | | test.cpp:16:8:16:8 | E | 0 | | test.cpp:15:19:15:19 | T | | | test.cpp:16:8:16:8 | E | 1 | T * | file://:0:0:0:0 | X | X | | test.cpp:16:8:16:8 | E | 0 | | file://:0:0:0:0 | int | | -| test.cpp:16:8:16:8 | E | 1 | int * | file://:0:0:0:0 | 0 | 0 | +| test.cpp:16:8:16:8 | E | 1 | int * | test.cpp:18:8:18:14 | 0 | 0 | diff --git a/docs/codeql/reusables/supported-versions-compilers.rst b/docs/codeql/reusables/supported-versions-compilers.rst index bb2d4a7416a9..0c3945a70a9b 100644 --- a/docs/codeql/reusables/supported-versions-compilers.rst +++ b/docs/codeql/reusables/supported-versions-compilers.rst @@ -4,9 +4,9 @@ :stub-columns: 1 Language,Variants,Compilers,Extensions - C/C++,"C89, C99, C11, C17, C23, C++98, C++03, C++11, C++14, C++17, C++20, C++23 [1]_ [2]_ [3]_","Clang (including clang-cl [4]_ and armclang) extensions (up to Clang 17.0), + C/C++,"C89, C99, C11, C17, C23, C++98, C++03, C++11, C++14, C++17, C++20, C++23 [1]_ [2]_ [3]_","Clang (including clang-cl [4]_ and armclang) extensions (up to Clang 19.1.0), - GNU extensions (up to GCC 13.2), + GNU extensions (up to GCC 15.0), Microsoft extensions (up to VS 2022),