clang 17.0.0git
|
#include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/APSIntType.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SValVisitor.h"
#include <optional>
Go to the source code of this file.
|
static |
Definition at line 747 of file SimpleSValBuilder.cpp.
References clang::ento::SVal::getSubKind(), clang::ento::SVal::getType(), clang::ASTContext::getTypeSize(), and clang::QualType::isNull().
|
static |
Definition at line 263 of file SimpleSValBuilder.cpp.
References clang::ento::SymExpr::getType(), and clang::BinaryOperator::isAdditiveOp().
Referenced by tryRearrange().
|
static |
Definition at line 278 of file SimpleSValBuilder.cpp.
References clang::ento::SVal::castAs(), clang::ento::SValBuilder::evalBinOpNN(), clang::ento::BasicValueFactory::getAPSIntType(), clang::ento::SValBuilder::getBasicValueFactory(), clang::ento::SValBuilder::getConditionType(), clang::ento::SValBuilder::getSymbolManager(), clang::ento::SymbolManager::getSymIntExpr(), clang::ento::SymbolManager::getSymSymExpr(), clang::ento::SymExpr::getType(), clang::BinaryOperator::isAdditiveOp(), clang::BinaryOperator::isComparisonOp(), and clang::BinaryOperator::reverseComparisonOp().
Referenced by tryRearrange().
|
static |
Definition at line 694 of file SimpleSValBuilder.cpp.
References clang::RecordDecl::fields(), clang::ento::FieldRegion::getDecl(), clang::FieldDecl::getParent(), clang::ento::SubRegion::getSuperRegion(), and clang::BinaryOperator::isComparisonOp().
|
static |
Definition at line 220 of file SimpleSValBuilder.cpp.
References clang::ento::SValBuilder::evalBinOpNN(), and clang::ento::SValBuilder::getConditionType().
Referenced by isWithinConstantOverflowBounds().
|
static |
Definition at line 94 of file SimpleSValBuilder.cpp.
References clang::ento::APSIntType::getBitWidth(), and clang::ento::APSIntType::isUnsigned().
|
static |
Definition at line 253 of file SimpleSValBuilder.cpp.
References clang::ento::APSIntType::getMaxValue(), clang::ento::APSIntType::getValue(), and clang::ento::APSIntType::isUnsigned().
|
static |
Definition at line 237 of file SimpleSValBuilder.cpp.
References clang::ento::BasicValueFactory::getAPSIntType(), clang::ento::SValBuilder::getBasicValueFactory(), clang::ento::APSIntType::getMaxValue(), clang::ento::SymExpr::getType(), clang::ento::APSIntType::getValue(), isInRelation(), and clang::Type::isSignedIntegerOrEnumerationType().
Referenced by shouldRearrange().
|
static |
Definition at line 344 of file SimpleSValBuilder.cpp.
References clang::ento::SymExpr::getType(), clang::BinaryOperator::isComparisonOp(), and isWithinConstantOverflowBounds().
Referenced by tryRearrange().
|
static |
Definition at line 352 of file SimpleSValBuilder.cpp.
References decomposeSymbol(), doRearrangeUnchecked(), clang::ento::SValBuilder::getAnalyzerOptions(), clang::ento::SVal::getAsSymbol(), clang::ento::SValBuilder::getConditionType(), clang::ento::ProgramStateManager::getSValBuilder(), clang::ento::SymExpr::getType(), clang::BinaryOperator::isAdditiveOp(), clang::BinaryOperator::isComparisonOp(), clang::QualType::isNull(), clang::Type::isSignedIntegerOrEnumerationType(), and shouldRearrange().