For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

reachesEndOfBlock

Class EssaNodeDefinition

Predicates

definedBy

getAPrimaryQlClass

getAUse

getBasicBlock

getDefiningNode

getLocation

getRepresentation

getScope

getSourceVariable

reachesEndOfBlock

toString

Inherited predicates

getVariable

Member predicate EssaNodeDefinition :: reachesEndOfBlock

Holds if this definition reaches the end of b.


                            
                                
                                    predicate
                                
                                 
                            
                            
                                reachesEndOfBlock
                            
                            
                                (
                                
                                    
                                        BasicBlock
                                    
                                     
                                    b
                                
                                )