mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
b7d0939f4a
Just to demonstrate how things fit together, I've created `SubtractSelf.qll` that adds a (hopefully sound) version of the test extension that was already used in `extensibility.ql`.
10 lines
139 B
C++
10 lines
139 B
C++
|
|
|
|
void test_overridability_sub(int x) {
|
|
int zero = x - x;
|
|
zero; // 0
|
|
|
|
int nonzero = x - (unsigned char)x;
|
|
nonzero; // full range
|
|
}
|