Predicate useUsePair

A use/use pair is a pair of uses of a particular variable var where the same value might be read (meaning that there is a control-flow path from first to second without crossing a definition of var).

Import path


                                import cpp


                            
                                
                                    predicate
                                
                                 
                            
                            
                                useUsePair
                            
                            
                                (
                                
                                    
                                        SemanticStackVariable
                                    
                                     
                                    var
                                
                                , 
                                
                                    
                                        Expr
                                    
                                     
                                    first
                                
                                , 
                                
                                    
                                        Expr
                                    
                                     
                                    second
                                
                                )