|
clang
5.0.0
|
#include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"#include "clang/StaticAnalyzer/Core/PathSensitive/APSIntType.h"#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"#include "clang/StaticAnalyzer/Core/PathSensitive/SValVisitor.h"Go to the source code of this file.
Functions | |
| static SVal | evalBinOpFieldRegionFieldRegion (const FieldRegion *LeftFR, const FieldRegion *RightFR, BinaryOperator::Opcode op, QualType resultTy, SimpleSValBuilder &SVB) |
|
static |
Definition at line 561 of file SimpleSValBuilder.cpp.
References clang::RecordDecl::fields(), clang::ento::FieldRegion::getDecl(), clang::FieldDecl::getParent(), clang::ento::SubRegion::getSuperRegion(), I, and clang::BinaryOperator::isComparisonOp().
1.8.6