Skip to content
  1. Jan 10, 2008
  2. Jan 09, 2008
    • Ted Kremenek's avatar
      Renamed Stmt***Edge and ***StmtEdge (where *** = "Stmt" or "Blk") classes to · 84ab850e
      Ted Kremenek authored
      BExpr*** and ***BExpr respectively. These edges represent program locations
      between the entrance/exit of a block and Block-level Expressions.
      
      Also added ***SExpr and SExpr*** ProgramEdges to represent the locations in the
      program between the evaluation of subexpressions and block-level expressions.
      
      llvm-svn: 45786
      84ab850e
    • Ted Kremenek's avatar
      Removed some files related to the path-sensitive solver as part of some · fed4cce0
      Ted Kremenek authored
      code restructuring.  (new files will be introduced shortly)
      
      llvm-svn: 45785
      fed4cce0
    • Steve Naroff's avatar
      · c6edcbdb
      Steve Naroff authored
      Fix ASTContext::typesAreCompatible to allow for int/enum compatibility (C99 6.7.2.2p4).
      Fix Sema::MergeFunctionDecl to allow for function type compatibility (by using the predicate on ASTContext). Function types don't have to be identical to be compatible...
      
      llvm-svn: 45784
      c6edcbdb
Loading