File tree Expand file tree Collapse file tree 2 files changed +20
-10
lines changed
cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal Expand file tree Collapse file tree 2 files changed +20
-10
lines changed Original file line number Diff line number Diff line change @@ -611,16 +611,27 @@ newtype TTranslatedElement =
611
611
TTranslatedInitialization ( Expr expr ) {
612
612
not ignoreExpr ( expr ) and
613
613
(
614
- exists ( Initializer init | init .getExpr ( ) .getFullyConverted ( ) = expr ) or
615
- exists ( ClassAggregateLiteral initList | initList .getAFieldExpr ( _) .getFullyConverted ( ) = expr ) or
614
+ exists ( Initializer init | init .getExpr ( ) .getFullyConverted ( ) = expr )
615
+ or
616
+ exists ( ClassAggregateLiteral initList | initList .getAFieldExpr ( _) .getFullyConverted ( ) = expr )
617
+ or
616
618
exists ( ArrayOrVectorAggregateLiteral initList |
617
619
initList .getAnElementExpr ( _) .getFullyConverted ( ) = expr
618
- ) or
619
- exists ( ReturnStmt returnStmt | returnStmt .getExpr ( ) .getFullyConverted ( ) = expr and hasReturnValue ( returnStmt .getEnclosingFunction ( ) ) ) or
620
- exists ( ConstructorFieldInit fieldInit | fieldInit .getExpr ( ) .getFullyConverted ( ) = expr ) or
621
- exists ( NewExpr newExpr | newExpr .getInitializer ( ) .getFullyConverted ( ) = expr ) or
622
- exists ( ThrowExpr throw | throw .getExpr ( ) .getFullyConverted ( ) = expr ) or
623
- exists ( TemporaryObjectExpr temp | temp .getExpr ( ) = expr ) or
620
+ )
621
+ or
622
+ exists ( ReturnStmt returnStmt |
623
+ returnStmt .getExpr ( ) .getFullyConverted ( ) = expr and
624
+ hasReturnValue ( returnStmt .getEnclosingFunction ( ) )
625
+ )
626
+ or
627
+ exists ( ConstructorFieldInit fieldInit | fieldInit .getExpr ( ) .getFullyConverted ( ) = expr )
628
+ or
629
+ exists ( NewExpr newExpr | newExpr .getInitializer ( ) .getFullyConverted ( ) = expr )
630
+ or
631
+ exists ( ThrowExpr throw | throw .getExpr ( ) .getFullyConverted ( ) = expr )
632
+ or
633
+ exists ( TemporaryObjectExpr temp | temp .getExpr ( ) = expr )
634
+ or
624
635
exists ( LambdaExpression lambda | lambda .getInitializer ( ) .getFullyConverted ( ) = expr )
625
636
)
626
637
} or
Original file line number Diff line number Diff line change @@ -473,8 +473,7 @@ class TranslatedReturnVoidExpressionStmt extends TranslatedReturnStmt {
473
473
474
474
override Instruction getALastInstructionInternal ( ) {
475
475
if this .hasAnImplicitDestructorCall ( )
476
- then
477
- result = this .getChild ( max ( int id | exists ( this .getChild ( id ) ) ) ) .getALastInstruction ( )
476
+ then result = this .getChild ( max ( int id | exists ( this .getChild ( id ) ) ) ) .getALastInstruction ( )
478
477
else result = this .getInstruction ( OnlyInstructionTag ( ) )
479
478
}
480
479
You can’t perform that action at this time.
0 commit comments