package goblint-cil
Install
    
    dune-project
 Dependency
Authors
Maintainers
Sources
sha256=b09009442e27c51e61653ca0104069097bfcb7943457478fd5a153cdda9cbc09
    
    
  sha512=0f89d8920a35daa9213d7c407d1e1d89d820df9d6da1878335209e166aad68b2a377134ab08bb74499b40d13a7b758959b225b01e067d6e609da5295913e2af7
    
    
  doc/goblint-cil.liveness/Liveness/Usedef/index.html
Module Liveness.UsedefSource
module E = GoblintCil.Errormsgcompute use/def information
val getUseDefFunctionRef : 
  (GoblintCil.exp ->
    GoblintCil.exp list ->
    VS.t * VS.t * GoblintCil.exp list)
    refSet this global to how you want to handle function calls. This also returns a modified argument list which will be used for the purpose of Use analysis, in case you have a function that needs special treatment of its args.
Say if you want to consider a variable use. This applies to variable reads only; see also considerVariableAddrOfAsUse
Say if you want to consider a variable def
Say if you want to consider a variable addrof as a use
Say if you want to consider a variable addrof as a def
Return any vars that should be considered "used" by an expression, other than the ones it refers to directly. Deputy uses this for variables in Cast annotations.
Compute the use information for an expression (accumulate to an existing set)
Compute the use/def information for an instruction
val computeUseDefStmtKind : 
  ?acc_used:VS.t ->
  ?acc_defs:VS.t ->
  GoblintCil.stmtkind ->
  VS.t * VS.tCompute the use/def information for a statement kind. Do not descend into the nested blocks.