Home | History | Annotate | Download | only in Analyses

Lines Matching refs:Nvd

182   R_SExpr reduceFunction(Function &Orig, Variable *Nvd, R_SExpr E0) {
183 return new (Arena) Function(Orig, Nvd, E0);
185 R_SExpr reduceSFunction(SFunction &Orig, Variable *Nvd, R_SExpr E0) {
186 return new (Arena) SFunction(Orig, Nvd, E0);
256 R_SExpr reduceLet(Let &Orig, Variable *Nvd, R_SExpr B) {
257 return new (Arena) Let(Orig, Nvd, B);
331 R_SExpr reduceFunction(Function &Orig, Variable *Nvd, R_SExpr E0) {
332 return Nvd && E0;
334 R_SExpr reduceSFunction(SFunction &Orig, Variable *Nvd, R_SExpr E0) {
335 return Nvd && E0;
389 R_SExpr reduceLet(Let &Orig, Variable *Nvd, R_SExpr B) {
390 return Nvd && B;