StaticAnalyzer/Core/BasicValueFactory.cpp

206                              const llvm::APSInt& V1, const llvm::APSInt& V2) {
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())
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 );
325 BasicValueFactory::getPersistentSValPair(const SVal& V1, const SVal& V2) {
331   V1.Profile(ID);
342     new (P) FoldNodeTy(std::make_pair(V1, V2));