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 =
611611 TTranslatedInitialization ( Expr expr ) {
612612 not ignoreExpr ( expr ) and
613613 (
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
616618 exists ( ArrayOrVectorAggregateLiteral initList |
617619 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
624635 exists ( LambdaExpression lambda | lambda .getInitializer ( ) .getFullyConverted ( ) = expr )
625636 )
626637 } or
Original file line number Diff line number Diff line change @@ -473,8 +473,7 @@ class TranslatedReturnVoidExpressionStmt extends TranslatedReturnStmt {
473473
474474 override Instruction getALastInstructionInternal ( ) {
475475 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 ( )
478477 else result = this .getInstruction ( OnlyInstructionTag ( ) )
479478 }
480479
You can’t perform that action at this time.
0 commit comments