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

C++: test fixes for sign analysis

Browse Source
This commit is contained in:
Robert Marsh
2018-10-15 14:35:40 -07:00
parent 2d04d9ea04
commit 9d2d381e68
3 changed files with 690 additions and 688 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1368
cpp/ql/test/library-tests/rangeanalysis/signanalysis/SignAnalysis.expected
View File

File diff suppressed because it is too large Load Diff

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

@@ -16,4 +16,4 @@ string getASignString(Instruction i) {
}
from Instruction i
select i, i.getAST(), strictconcat(string s | s = getASignString(i) | s, " ")
select i, strictconcat(string s | s = getASignString(i) | s, " ")

8
cpp/ql/test/library-tests/rangeanalysis/signanalysis/binary_logical_operator.c Normal file
View File

@@ -0,0 +1,8 @@
int test01(int x, int y) {
int b = x > 10 && y < 0;
if (b) {
return x;
} else {
return y;
}
}