hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Update IR inline-expectation tests

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2020-10-29 19:11:54 +01:00
parent acf6ffb990
commit b5234f9245
1 changed files with 25 additions and 25 deletions
Download Patch File Download Diff File Expand all files Collapse all files

50
cpp/ql/test/library-tests/ir/points_to/points_to.cpp
View File

@@ -38,27 +38,27 @@ void Locals() {
void PointsTo(
int a, //$raw,ussa=a
Point& b, //$raw,ussa=b $ussa=*b
Point* c, //$raw,ussa=c $ussa=*c
int* d, //$raw,ussa=d $ussa=*d
DerivedSI* e, //$raw,ussa=e $ussa=*e
DerivedMI* f, //$raw,ussa=f $ussa=*f
DerivedVI* g //$raw,ussa=g $ussa=*g
Point& b, //$raw,ussa=b ussa=*b
Point* c, //$raw,ussa=c ussa=*c
int* d, //$raw,ussa=d ussa=*d
DerivedSI* e, //$raw,ussa=e ussa=*e
DerivedMI* f, //$raw,ussa=f ussa=*f
DerivedVI* g //$raw,ussa=g ussa=*g
) {
int i = a; //$raw,ussa=a
i = *&a; //$raw,ussa=a
i = *(&a + 0); //$raw,ussa=a
i = b.x; //$raw,ussa=b $ussa=*b[0..4)<int>
i = b.y; //$raw,ussa=b $ussa=*b[4..8)<int>
i = c->x; //$raw,ussa=c $ussa=*c[0..4)<int>
i = c->y; //$raw,ussa=c $ussa=*c[4..8)<int>
i = *d; //$raw,ussa=d $ussa=*d[0..4)<int>
i = *(d + 0); //$raw,ussa=d $ussa=*d[0..4)<int>
i = d[5]; //$raw,ussa=d $ussa=*d[20..24)<int>
i = 5[d]; //$raw,ussa=d $ussa=*d[20..24)<int>
i = d[a]; //$raw,ussa=d $raw,ussa=a $ussa=*d[?..?)<int>
i = a[d]; //$raw,ussa=d $raw,ussa=a $ussa=*d[?..?)<int>
i = b.x; //$raw,ussa=b ussa=*b[0..4)<int>
i = b.y; //$raw,ussa=b ussa=*b[4..8)<int>
i = c->x; //$raw,ussa=c ussa=*c[0..4)<int>
i = c->y; //$raw,ussa=c ussa=*c[4..8)<int>
i = *d; //$raw,ussa=d ussa=*d[0..4)<int>
i = *(d + 0); //$raw,ussa=d ussa=*d[0..4)<int>
i = d[5]; //$raw,ussa=d ussa=*d[20..24)<int>
i = 5[d]; //$raw,ussa=d ussa=*d[20..24)<int>
i = d[a]; //$raw,ussa=d raw,ussa=a ussa=*d[?..?)<int>
i = a[d]; //$raw,ussa=d raw,ussa=a ussa=*d[?..?)<int>
int* p = &b.x; //$raw,ussa=b
i = *p; //$ussa=*b[0..4)<int>
@@ -70,18 +70,18 @@ void PointsTo(
i = *p; //$ussa=*c[4..8)<int>
p = &d[5]; //$raw,ussa=d
i = *p; //$ussa=*d[20..24)<int>
p = &d[a]; //$raw,ussa=d $raw,ussa=a
p = &d[a]; //$raw,ussa=d raw,ussa=a
i = *p; //$ussa=*d[?..?)<int>
Point* q = &c[a]; //$raw,ussa=c $raw,ussa=a
Point* q = &c[a]; //$raw,ussa=c raw,ussa=a
i = q->x; //$ussa=*c[?..?)<int>
i = q->y; //$ussa=*c[?..?)<int>
i = e->b1; //$raw,ussa=e $ussa=*e[0..4)<int>
i = e->dsi; //$raw,ussa=e $ussa=*e[4..8)<int>
i = f->b1; //$raw,ussa=f $ussa=*f[0..4)<int>
i = f->b2; //$raw,ussa=f $ussa=*f[4..8)<int>
i = f->dmi; //$raw,ussa=f $ussa=*f[8..12)<int>
i = g->b1; //$raw,ussa=g $ussa=*g[?..?)<int>
i = g->dvi; //$raw,ussa=g $ussa=*g[8..12)<int>
i = e->b1; //$raw,ussa=e ussa=*e[0..4)<int>
i = e->dsi; //$raw,ussa=e ussa=*e[4..8)<int>
i = f->b1; //$raw,ussa=f ussa=*f[0..4)<int>
i = f->b2; //$raw,ussa=f ussa=*f[4..8)<int>
i = f->dmi; //$raw,ussa=f ussa=*f[8..12)<int>
i = g->b1; //$raw,ussa=g ussa=*g[?..?)<int>
i = g->dvi; //$raw,ussa=g ussa=*g[8..12)<int>
}