Predicate Make :: phiHasInputFromBlockExt

NB: If this predicate is exposed, it should be cached.

Holds if inp is an input to the phi (read) node phi along the edge originating in bb.

Import path


                                import codeql.ssa.Ssa


                            
                                
                                    predicate
                                
                                 
                            
                            
                                phiHasInputFromBlockExt
                            
                            
                                (
                                
                                    
                                        DefinitionExt
                                    
                                     
                                    phi
                                
                                , 
                                
                                    
                                        DefinitionExt
                                    
                                     
                                    inp
                                
                                , 
                                
                                    
                                        BasicBlock
                                    
                                     
                                    bb
                                
                                )