Static Value-Flow Analysis
Loading...
Searching...
No Matches
Public Attributes | List of all members
SVF::ThreadAPI::ForkJoinAliasCache Struct Reference

If fork join the same thread. More...

#include <ThreadAPI.h>

Public Attributes

Map< const SVFVar *, NodeBSjoinedThreadObjects
 

Detailed Description

If fork join the same thread.

Definition at line 157 of file ThreadAPI.h.

Member Data Documentation

◆ joinedThreadObjects

Map<const SVFVar*, NodeBS> SVF::ThreadAPI::ForkJoinAliasCache::joinedThreadObjects

Definition at line 159 of file ThreadAPI.h.


The documentation for this struct was generated from the following file: