From 68300db6857189afef4febcab11ba3337930c86d Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Fri, 13 Feb 2004 20:05:32 +0000 Subject: [PATCH] Add support for fopen/fclose. Specifically with fopen, we were marking all of the operands as incomplete, though fopen is known to only read them. This just adds fclose for symmetry, though it doesn't gain anything. This makes the dsgraphs for 181.mcf much more precise. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@11390 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Analysis/DataStructure/Local.cpp | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) diff --git a/lib/Analysis/DataStructure/Local.cpp b/lib/Analysis/DataStructure/Local.cpp index 2a04d291283..16e3cbaed41 100644 --- a/lib/Analysis/DataStructure/Local.cpp +++ b/lib/Analysis/DataStructure/Local.cpp @@ -493,6 +493,33 @@ void GraphBuilder::visitCallSite(CallSite CS) { if (DSNode *N = H.getNode()) N->setModifiedMarker(); return; + } else if (F->getName() == "fopen" && CS.arg_end()-CS.arg_begin() == 2){ + // fopen reads the mode argument strings. + CallSite::arg_iterator AI = CS.arg_begin(); + DSNodeHandle Path = getValueDest(**AI); + DSNodeHandle Mode = getValueDest(**++AI); + if (DSNode *N = Path.getNode()) N->setReadMarker(); + if (DSNode *N = Mode.getNode()) N->setReadMarker(); + + // fopen allocates in an unknown way and writes to the file + // descriptor. Also, merge the allocated type into the node. + DSNodeHandle Result = getValueDest(*CS.getInstruction()); + Result.getNode()->setModifiedMarker()->setUnknownNodeMarker(); + const Type *RetTy = F->getFunctionType()->getReturnType(); + if (const PointerType *PTy = dyn_cast(RetTy)) + Result.getNode()->mergeTypeInfo(PTy->getElementType(), + Result.getOffset()); + return; + } else if (F->getName() == "fclose" && CS.arg_end()-CS.arg_begin() ==1){ + // fclose reads and deallocates the memory in an unknown way for the + // file descriptor. It merges the FILE type into the descriptor. + DSNodeHandle H = getValueDest(**CS.arg_begin()); + H.getNode()->setReadMarker()->setUnknownNodeMarker(); + + const Type *ArgTy = *F->getFunctionType()->param_begin(); + if (const PointerType *PTy = dyn_cast(ArgTy)) + H.getNode()->mergeTypeInfo(PTy->getElementType(), H.getOffset()); + return; } }