Skip to content

Commit cdfb085

Browse files
authored
Merge pull request github#18072 from github/revert-18009-calumgrant/bmn/record-build-mode
Revert "C++: Implement compilation_build_mode"
2 parents ab9a2bd + 169671a commit cdfb085

File tree

9 files changed

+1286
-10697
lines changed

9 files changed

+1286
-10697
lines changed

cpp/downgrades/f0156f5f88ab5967c79162012c20f30600ca5ebf/old.dbscheme

Lines changed: 0 additions & 2339 deletions
This file was deleted.

cpp/downgrades/f0156f5f88ab5967c79162012c20f30600ca5ebf/semmlecode.cpp.dbscheme

Lines changed: 0 additions & 2323 deletions
This file was deleted.

cpp/downgrades/f0156f5f88ab5967c79162012c20f30600ca5ebf/upgrade.properties

Lines changed: 0 additions & 3 deletions
This file was deleted.

cpp/ql/lib/semmle/code/cpp/Compilation.qll

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -112,7 +112,4 @@ class Compilation extends @compilation {
112112
* termination, but crashing due to something like a segfault is not.
113113
*/
114114
predicate normalTermination() { compilation_finished(this, _, _) }
115-
116-
/** Holds if this compilation was compiled using the "none" build mode. */
117-
predicate buildModeNone() { compilation_build_mode(this, 0) }
118115
}

cpp/ql/lib/semmlecode.cpp.dbscheme

Lines changed: 0 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -46,22 +46,6 @@ compilation_args(
4646
string arg : string ref
4747
);
4848

49-
/**
50-
* Optionally, record the build mode for each compilation.
51-
*/
52-
compilation_build_mode(
53-
unique int id : @compilation ref,
54-
int mode : int ref
55-
);
56-
57-
/*
58-
case @compilation_build_mode.mode of
59-
0 = @build_mode_none
60-
| 1 = @build_mode_manual
61-
| 2 = @build_mode_auto
62-
;
63-
*/
64-
6549
/**
6650
* The source files that are compiled by a compiler invocation.
6751
* If `id` is for the compiler invocation

0 commit comments

Comments
 (0)