forked from OSchip/llvm-project
parent
92db201e23
commit
dcf7b3501d
|
@ -1869,7 +1869,9 @@ void GRExprEngine::EvalBind(ExplodedNodeSet& Dst, const Stmt* StoreE,
|
|||
|
||||
/// EvalStore - Handle the semantics of a store via an assignment.
|
||||
/// @param Dst The node set to store generated state nodes
|
||||
/// @param Ex The expression representing the location of the store
|
||||
/// @param AssignE The assignment expression if the store happens in an
|
||||
/// assignment.
|
||||
/// @param LocatioinE The location expression that is stored to.
|
||||
/// @param state The current simulation state
|
||||
/// @param location The location to store the value
|
||||
/// @param Val The value to be stored
|
||||
|
|
Loading…
Reference in New Issue