mirror of
https://github.com/github/codeql.git
synced 2025-12-20 02:44:30 +01:00
We now output literals for accesses to members of template parameters:
So for `foo` in the following example:
```
template<typename T> void bar(T& t) {
T.foo(1)
}
```
20 lines
151 B
C++
20 lines
151 B
C++
|
|
|
|
class A {
|
|
public:
|
|
void foo();
|
|
int k;
|
|
};
|
|
|
|
class B {
|
|
public:
|
|
template <typename T>
|
|
B(T x) {
|
|
int k = x.k;
|
|
x.foo();
|
|
}
|
|
};
|
|
|
|
A a;
|
|
B b(a);
|