Shared: Add a shared SuccessorType implementation #20300
Conversation
![github-advanced-security[bot]](https://avatars.githubusercontent.com/in/57789?s=60&v=4){kind=small}
| @@ -817,7 +816,7 @@ | |||
| this = TNestedCompletion(_, TBreakCompletion(), _) | |||
| } | |||
|
|
|||
| override BreakSuccessor getAMatchingSuccessorType() { any() } | |||
| override JumpSuccessor getAMatchingSuccessorType() { any() } | |||
Check warning
Code scanning / CodeQL
Override with unmentioned parameter Warning
| @@ -836,7 +835,7 @@ | |||
| this = TNestedCompletion(_, TContinueCompletion(), _) | |||
| } | |||
|
|
|||
| override ContinueSuccessor getAMatchingSuccessorType() { any() } | |||
| override JumpSuccessor getAMatchingSuccessorType() { any() } | |||
Check warning
Code scanning / CodeQL
Override with unmentioned parameter Warning
| @@ -859,7 +858,7 @@ | |||
| /** Gets the label of the `goto` completion. */ | |||
| string getLabel() { result = label } | |||
|
|
|||
| override GotoSuccessor getAMatchingSuccessorType() { result.getLabel() = label } | |||
| override JumpSuccessor getAMatchingSuccessorType() { any() } | |||
Check warning
Code scanning / CodeQL
Override with unmentioned parameter Warning
| @@ -882,7 +881,7 @@ | |||
| /** Gets the type of the exception being thrown. */ | |||
| ExceptionClass getExceptionClass() { result = ec } | |||
|
|
|||
| override ExceptionSuccessor getAMatchingSuccessorType() { result.getExceptionClass() = ec } | |||
| override ExceptionSuccessor getAMatchingSuccessorType() { any() } | |||
Check warning
Code scanning / CodeQL
Override with unmentioned parameter Warning
| @@ -359,7 +358,7 @@ | |||
| this = TNestedCompletion(_, TBreakCompletion(), _) | |||
| } | |||
|
|
|||
| override BreakSuccessor getAMatchingSuccessorType() { any() } | |||
| override JumpSuccessor getAMatchingSuccessorType() { any() } | |||
Check warning
Code scanning / CodeQL
Override with unmentioned parameter Warning
| @@ -395,7 +394,7 @@ | |||
| this = TNestedCompletion(_, TRedoCompletion(), _) | |||
| } | |||
|
|
|||
| override RedoSuccessor getAMatchingSuccessorType() { any() } | |||
| override JumpSuccessor getAMatchingSuccessorType() { any() } | |||
Check warning
Code scanning / CodeQL
Override with unmentioned parameter Warning
| @@ -413,7 +412,7 @@ | |||
| this = TNestedCompletion(_, TRetryCompletion(), _) | |||
| } | |||
|
|
|||
| override RetrySuccessor getAMatchingSuccessorType() { any() } | |||
| override JumpSuccessor getAMatchingSuccessorType() { any() } | |||
Check warning
Code scanning / CodeQL
Override with unmentioned parameter Warning
| @@ -431,7 +430,7 @@ | |||
| this = TNestedCompletion(_, TRaiseCompletion(), _) | |||
| } | |||
|
|
|||
| override RaiseSuccessor getAMatchingSuccessorType() { any() } | |||
| override ExceptionSuccessor getAMatchingSuccessorType() { any() } | |||
Check warning
Code scanning / CodeQL
Override with unmentioned parameter Warning
Mostly toString changes, and a slight change to splitting in C#.
aschackmull
force-pushed
the
cfg/successortype
branch
from
ce85279 to
75ea5f2
Compare
| @@ -338,7 +337,7 @@ | |||
|
|
|||
| BreakCompletion() { this = TBreakCompletion(target) } | |||
|
|
|||
| override BreakSuccessor getAMatchingSuccessorType() { any() } | |||
| override JumpSuccessor getAMatchingSuccessorType() { any() } | |||
Check warning
Code scanning / CodeQL
Override with unmentioned parameter Warning
| @@ -354,7 +353,7 @@ | |||
|
|
|||
| ContinueCompletion() { this = TContinueCompletion(target) } | |||
|
|
|||
| override ContinueSuccessor getAMatchingSuccessorType() { any() } | |||
| override JumpSuccessor getAMatchingSuccessorType() { any() } | |||
Check warning
Code scanning / CodeQL
Override with unmentioned parameter Warning
| @@ -468,7 +467,7 @@ | |||
|
|
|||
| FallthroughCompletion() { this = TFallthroughCompletion(dest) } | |||
|
|
|||
| override FallthroughSuccessor getAMatchingSuccessorType() { any() } | |||
| override DirectSuccessor getAMatchingSuccessorType() { any() } | |||
Check warning
Code scanning / CodeQL
Override with unmentioned parameter Warning
No description provided.