File tree Expand file tree Collapse file tree 4 files changed +4
-10
lines changed Expand file tree Collapse file tree 4 files changed +4
-10
lines changed Original file line number Diff line number Diff line change @@ -4,8 +4,6 @@ import semmle.code.java.ControlFlowGraph
4
4
predicate shouldBeDeadEnd ( ControlFlowNode n ) {
5
5
n instanceof BreakStmt and n .getFile ( ) .isKotlinSourceFile ( ) // TODO
6
6
or
7
- n instanceof ReturnStmt and n .getFile ( ) .isKotlinSourceFile ( ) // TODO
8
- or
9
7
n instanceof Interface // TODO
10
8
or
11
9
n instanceof Class // TODO
Original file line number Diff line number Diff line change @@ -46,8 +46,7 @@ predicate gapInChildren(Element e, int i) {
46
46
47
47
predicate lateFirstChild ( Element e , int i ) {
48
48
i > 0 and
49
- exists ( nthChildOf ( e , i ) ) and
50
- forex ( int j | exists ( nthChildOf ( e , j ) ) | j >= i ) and
49
+ i = min ( int j | exists ( nthChildOf ( e , j ) ) ) and
51
50
// A wildcard type access can be `?` with no children,
52
51
// `? extends T` with only a child 0, or `? super T`
53
52
// with only a child 1.
Original file line number Diff line number Diff line change 3
3
*/
4
4
5
5
import java
6
- import semmle.code.java.frameworks.android.Compose
6
+ private import semmle.code.java.frameworks.android.Compose
7
7
8
8
/** A common super-class that represents all kinds of expressions. */
9
9
class Expr extends ExprParent , @expr {
@@ -2349,10 +2349,9 @@ class Argument extends Expr {
2349
2349
*/
2350
2350
predicate isNthVararg ( int arrayindex ) {
2351
2351
not this .isExplicitVarargsArray ( ) and
2352
- exists ( Callable tgt , Parameter varargsParam , int varargsParamPos |
2352
+ exists ( Callable tgt , int varargsParamPos |
2353
2353
call .getCallee ( ) = tgt and
2354
- tgt .getParameter ( varargsParamPos ) = varargsParam and
2355
- varargsParam .isVarargs ( ) and
2354
+ tgt .getParameter ( varargsParamPos ) .isVarargs ( ) and
2356
2355
arrayindex = pos - varargsParamPos and
2357
2356
arrayindex >= 0 and
2358
2357
arrayindex <= ( call .getNumArgument ( ) - tgt .getNumberOfParameters ( ) )
Original file line number Diff line number Diff line change @@ -9,8 +9,6 @@ import java
9
9
* This always returns a constant expression and can be considered as such.
10
10
*/
11
11
class LiveLiteral extends MethodAccess {
12
- CompileTimeConstantExpr value ;
13
-
14
12
LiveLiteral ( ) {
15
13
this .getMethod ( ) instanceof LiveLiteralMethod and
16
14
not this .getEnclosingCallable ( ) instanceof LiveLiteralMethod
You can’t perform that action at this time.
0 commit comments