Skip to content

Java/Cfg: Introduce new shared CFG library and replace the Java CFG.#21290

Draft
aschackmull wants to merge 5 commits intogithub:mainfrom
aschackmull:cfg/new-shared
Draft

Java/Cfg: Introduce new shared CFG library and replace the Java CFG.#21290
aschackmull wants to merge 5 commits intogithub:mainfrom
aschackmull:cfg/new-shared

Conversation

@aschackmull
Copy link
Contributor

No description provided.

Comment on lines +912 to +919
n1.(EntryNodeImpl).getEnclosingCallable() = c and
n2.isBefore(callableGetBody(c))
or
n1.isAfter(callableGetBody(c)) and
n2.(NormalExitNodeImpl).getEnclosingCallable() = c
or
n1.(AnnotatedExitNodeImpl).getEnclosingCallable() =
n2.(ExitNodeImpl).getEnclosingCallable()

Check warning

Code scanning / CodeQL

Var only used in one side of disjunct Warning

The
variable c
is only used in one side of disjunct.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant