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

RightIsSmaller

Import path

Module PointlessComparison

Injector RightIsSmaller

Represents that the right side of a pointless comparison is known to be smaller.

Import path


                                import semmle.code.cpp.rangeanalysis.PointlessComparison


                            
                                
                                    RightIsSmaller
                                
                                 
                            
                            
                                RightIsSmaller
                            
                            
                                (
                                )