hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-23 12:16:33 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: IR generation for repeated initializers.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-04-04 10:08:32 +01:00
parent a0df7d22cd
commit bef0a159c0
3 changed files with 65 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

33
cpp/ql/lib/semmle/code/cpp/exprs/Literal.qll
View File

@@ -190,10 +190,23 @@ class ClassAggregateLiteral extends AggregateLiteral {
* Gets the expression within the aggregate literal that is used to initialize
* field `field`, if present.
*/
Expr getFieldExpr(Field field) {
Expr getFieldExpr(Field field) { result = this.getFieldExpr(field, _) }
/**
* Gets the expression within the aggregate literal that is used to initialize
* field `field` the `repitition`'th time in the initializer list, if present.
*
* For example, if `aggr` represents the initialization literal `{.x = 1234, .x = 5678}` in
* ```cpp
* struct Foo { int x; };
* struct Foo foo = {.x = 1234, .x = 5678};
* ```
* then `aggr.getFieldExpr(x, 0)` gives `1234`, and `aggr.getFieldExpr(x, 1)` gives `5678`.
*/
Expr getFieldExpr(Field field, int repitition) {
field = classType.getAField() and
aggregate_field_init(underlyingElement(this), unresolveElement(result), unresolveElement(field),
_)
repitition)
}
/**
@@ -264,8 +277,20 @@ class ArrayOrVectorAggregateLiteral extends AggregateLiteral {
* Gets the expression within the aggregate literal that is used to initialize
* element `elementIndex`, if present.
*/
Expr getElementExpr(int elementIndex) {
aggregate_array_init(underlyingElement(this), unresolveElement(result), elementIndex, _)
Expr getElementExpr(int elementIndex) { result = this.getElementExpr(elementIndex, _) }
/**
* Gets the expression within the aggregate literal that is used to initialize
* element `elementIndex` the `repitition`'th time in the initializer list, if present.
*
* For example, if `a` represents the initialization literal `{[0] = 1234, [0] = 5678}` in
* ```cpp
* int x[1] = {[0] = 1234, [0] = 5678};
* ```
* then `a.getElementExpr(0, 0)` gives `1234`, and `a.getElementExpr(0, 1)` gives `5678`.
*/
Expr getElementExpr(int elementIndex, int repitition) {
aggregate_array_init(underlyingElement(this), unresolveElement(result), elementIndex, repitition)
}
/**