module Language.C.Analysis.AstAnalysis where import Language.C.Analysis.SemRep import Language.C.Analysis.TravMonad import Language.C.Syntax.AST data StmtCtx = FunCtx VarDecl | LoopCtx | SwitchCtx data ExprSide = LValue | RValue tExpr :: MonadTrav m => [StmtCtx] -> ExprSide -> CExpr -> m Type