From e772531bb3861eabe705272fe4d604e6aa76fde6 Mon Sep 17 00:00:00 2001 From: Jeroen Ketema Date: Mon, 8 Jan 2024 15:24:21 +0100 Subject: [PATCH] C++: Remove test that is no longer relevant --- .../builtins/functions_file/builtins.txt | 2 -- .../functions_file/isbuiltin.expected | 4 ---- .../builtins/functions_file/isbuiltin.ql | 5 ----- .../builtins/functions_file/test.c | 20 ------------------- 4 files changed, 31 deletions(-) delete mode 100644 cpp/ql/test/library-tests/builtins/functions_file/builtins.txt delete mode 100644 cpp/ql/test/library-tests/builtins/functions_file/isbuiltin.expected delete mode 100644 cpp/ql/test/library-tests/builtins/functions_file/isbuiltin.ql delete mode 100644 cpp/ql/test/library-tests/builtins/functions_file/test.c diff --git a/cpp/ql/test/library-tests/builtins/functions_file/builtins.txt b/cpp/ql/test/library-tests/builtins/functions_file/builtins.txt deleted file mode 100644 index 8ba175f507f..00000000000 --- a/cpp/ql/test/library-tests/builtins/functions_file/builtins.txt +++ /dev/null @@ -1,2 +0,0 @@ -__builtin_foobar(i)i -__builtin_malloc(i,i,i,f*)f diff --git a/cpp/ql/test/library-tests/builtins/functions_file/isbuiltin.expected b/cpp/ql/test/library-tests/builtins/functions_file/isbuiltin.expected deleted file mode 100644 index 72e065f79a8..00000000000 --- a/cpp/ql/test/library-tests/builtins/functions_file/isbuiltin.expected +++ /dev/null @@ -1,4 +0,0 @@ -| file://:0:0:0:0 | __builtin_add_overflow | true | 0 | file://:0:0:0:0 | bool | -| file://:0:0:0:0 | __builtin_foobar | true | 1 | file://:0:0:0:0 | int | -| file://:0:0:0:0 | __builtin_malloc | true | 4 | file://:0:0:0:0 | float | -| test.c:1:6:1:6 | f | false | 3 | file://:0:0:0:0 | long | diff --git a/cpp/ql/test/library-tests/builtins/functions_file/isbuiltin.ql b/cpp/ql/test/library-tests/builtins/functions_file/isbuiltin.ql deleted file mode 100644 index f450abb84bd..00000000000 --- a/cpp/ql/test/library-tests/builtins/functions_file/isbuiltin.ql +++ /dev/null @@ -1,5 +0,0 @@ -import cpp - -from Function f, boolean isBuiltin -where if f instanceof BuiltInFunction then isBuiltin = true else isBuiltin = false -select f, isBuiltin, f.getNumberOfParameters(), f.getType() diff --git a/cpp/ql/test/library-tests/builtins/functions_file/test.c b/cpp/ql/test/library-tests/builtins/functions_file/test.c deleted file mode 100644 index a73061e4eab..00000000000 --- a/cpp/ql/test/library-tests/builtins/functions_file/test.c +++ /dev/null @@ -1,20 +0,0 @@ -long f(int a, int b, int c) { - // A builtin from the builtin_functions_file. - int i1 = __builtin_foobar(a); - - // A builtin that's not in the file, but the extractor should handle, given the - // --gnu_version flag we pass in. - int i2; - __builtin_add_overflow(a, b, &i2); - - // A builtin that would normally be defined by the extractor with a type - // expecting it to be called like this: - //void* x = __builtin_malloc(a); - // But we override the type in the builtin_functions_file so it's called like - // this: - float f1, f2; - f1 = __builtin_malloc(a, b, c, &f2); - - return 42; -} -// semmle-extractor-options: --gnu_version 50100 --edg --builtin_functions_file --edg ${testdir}/builtins.txt