Lines Matching full:environment
47 void initNegative(Value &Val, Environment &Env) { in initNegative()
52 void initPositive(Value &Val, Environment &Env) { in initPositive()
57 void initZero(Value &Val, Environment &Env) { in initZero()
65 // owned by the Environment.
74 SignProperties initUnknown(Value &Val, Environment &Env) { in initUnknown()
80 SignProperties getSignProperties(const Value &Val, const Environment &Env) { in getSignProperties()
260 Value *getOrCreateValue(const Expr *E, Environment &Env) { in getOrCreateValue()
363 void transfer(const CFGElement &Elt, NoopLattice &L, Environment &Env) { in transfer()
367 void join(QualType Type, const Value &Val1, const Environment &Env1,
368 const Value &Val2, const Environment &Env2, Value &MergedVal,
369 Environment &MergedEnv) override;
375 BoolValue &joinBoolValues(BoolValue &Bool1, const Environment &Env1, in joinBoolValues()
376 BoolValue &Bool2, const Environment &Env2, in joinBoolValues()
377 Environment &JoinedEnv) { in joinBoolValues()
402 const Environment &Env1, const Value &Val2, in join()
403 const Environment &Env2, Value &JoinedVal, in join()
404 Environment &JoinedEnv) { in join()
430 [](ASTContext &C, Environment &) { in runDataflow() argument
457 getProperty(const Environment &Env, ASTContext &ASTCtx, const Node *N, in getProperty()
477 testing::AssertionResult isPropertyImplied(const Environment &Env, in isPropertyImplied()
493 const Environment &Env) { in isNegative()
504 const Environment &Env) { in isPositive()
515 const Environment &Env) { in isZero()
526 const Environment &Env) { in isTop()
555 const Environment &Env = getEnvironmentAtAnnotation(Results, "p"); in TEST()
587 const Environment &Env = getEnvironmentAtAnnotation(Results, "p"); in TEST()
610 const Environment &Env = getEnvironmentAtAnnotation(Results, "p"); in TEST()
642 const Environment &EnvP = getEnvironmentAtAnnotation(Results, "p"); in TEST()
643 const Environment &EnvQ = getEnvironmentAtAnnotation(Results, "q"); in TEST()
693 const Environment &EnvP = getEnvironmentAtAnnotation(Results, "p"); in TEST()
694 const Environment &EnvQ = getEnvironmentAtAnnotation(Results, "q"); in TEST()
695 const Environment &EnvR = getEnvironmentAtAnnotation(Results, "r"); in TEST()
696 const Environment &EnvS = getEnvironmentAtAnnotation(Results, "s"); in TEST()
741 const Environment &EnvP = getEnvironmentAtAnnotation(Results, "p"); in TEST()
742 const Environment &EnvQ = getEnvironmentAtAnnotation(Results, "q"); in TEST()
743 const Environment &EnvR = getEnvironmentAtAnnotation(Results, "r"); in TEST()
744 const Environment &EnvS = getEnvironmentAtAnnotation(Results, "s"); in TEST()
789 const Environment &EnvP = getEnvironmentAtAnnotation(Results, "p"); in TEST()
790 const Environment &EnvQ = getEnvironmentAtAnnotation(Results, "q"); in TEST()
791 const Environment &EnvR = getEnvironmentAtAnnotation(Results, "r"); in TEST()
792 const Environment &EnvS = getEnvironmentAtAnnotation(Results, "s"); in TEST()
837 const Environment &EnvP = getEnvironmentAtAnnotation(Results, "p"); in TEST()
838 const Environment &EnvQ = getEnvironmentAtAnnotation(Results, "q"); in TEST()
839 const Environment &EnvR = getEnvironmentAtAnnotation(Results, "r"); in TEST()
840 const Environment &EnvS = getEnvironmentAtAnnotation(Results, "s"); in TEST()
880 const Environment &EnvN = getEnvironmentAtAnnotation(Results, "n"); in TEST()
881 const Environment &EnvZ = getEnvironmentAtAnnotation(Results, "z"); in TEST()
882 const Environment &EnvP = getEnvironmentAtAnnotation(Results, "p"); in TEST()
912 const Environment &Env = getEnvironmentAtAnnotation(Results, "p"); in TEST()
946 const Environment &EnvP = getEnvironmentAtAnnotation(Results, "p"); in TEST()
947 const Environment &EnvQ = getEnvironmentAtAnnotation(Results, "q"); in TEST()
948 const Environment &EnvR = getEnvironmentAtAnnotation(Results, "r"); in TEST()
985 const Environment &EnvP = getEnvironmentAtAnnotation(Results, "p"); in TEST()
986 const Environment &EnvQ = getEnvironmentAtAnnotation(Results, "q"); in TEST()
987 const Environment &EnvR = getEnvironmentAtAnnotation(Results, "r"); in TEST()
1023 const Environment &EnvP = getEnvironmentAtAnnotation(Results, "p"); in TEST()
1024 const Environment &EnvQ = getEnvironmentAtAnnotation(Results, "q"); in TEST()
1025 const Environment &EnvR = getEnvironmentAtAnnotation(Results, "r"); in TEST()