#include "clang/Analysis/FlowSensitive/RecordOps.h"
#define DEBUG_TYPE …
namespace clang::dataflow {
static void copyField(const ValueDecl &Field, StorageLocation *SrcFieldLoc,
StorageLocation *DstFieldLoc, RecordStorageLocation &Dst,
Environment &Env) { … }
static void copySyntheticField(QualType FieldType, StorageLocation &SrcFieldLoc,
StorageLocation &DstFieldLoc, Environment &Env) { … }
void copyRecord(RecordStorageLocation &Src, RecordStorageLocation &Dst,
Environment &Env) { … }
bool recordsEqual(const RecordStorageLocation &Loc1, const Environment &Env1,
const RecordStorageLocation &Loc2, const Environment &Env2) { … }
}