reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/lib/StaticAnalyzer/Core/BasicValueFactory.cpp
  212       return &getValue( V1 * V2 );
  217       return &getValue( V1 / V2 );
  222       return &getValue( V1 % V2 );
  225       return &getValue( V1 + V2 );
  228       return &getValue( V1 - V2 );
  239       if (Amt >= V1.getBitWidth())
  243         if (V1.isSigned() && V1.isNegative())
  243         if (V1.isSigned() && V1.isNegative())
  246         if (V1.isSigned() && Amt > V1.countLeadingZeros())
  246         if (V1.isSigned() && Amt > V1.countLeadingZeros())
  250       return &getValue( V1.operator<<( (unsigned) Amt ));
  262       if (Amt >= V1.getBitWidth())
  265       return &getValue( V1.operator>>( (unsigned) Amt ));
  269       return &getTruthValue( V1 < V2 );
  272       return &getTruthValue( V1 > V2 );
  275       return &getTruthValue( V1 <= V2 );
  278       return &getTruthValue( V1 >= V2 );
  281       return &getTruthValue( V1 == V2 );
  284       return &getTruthValue( V1 != V2 );
  289       return &getValue( V1 & V2 );
  292       return &getValue( V1 | V2 );
  295       return &getValue( V1 ^ V2 );