Skip to content
  • Ted Kremenek's avatar
    Patch by Zhongxing Xu! · 67102b28
    Ted Kremenek authored
    This patch extends BasicStoreManager::getInitialStore() to include code that symbolicates input variables.
    It also removes redundant handling of ImplicitParamDecl, since it is a subclass of VarDecl.
    
    llvm-svn: 54993
    67102b28
Loading