race_blk_s Struct Reference

#include <defines.h>

Data Fields
int	start_line
int	end_line
int	reason
race_blk *	next

---

Detailed Description

Contains information for storing race condition information

---

Field Documentation

int race_blk_s::end_line

Ending line number of statement block that was found to be a race condition

Referenced by funit_db_mod_merge(), race_blk_create(), race_collect_lines(), race_db_write(), and race_handle_race_condition().

race_blk* race_blk_s::next

Pointer to next race block in list

Referenced by funit_db_inst_merge(), funit_db_mod_merge(), funit_db_write(), race_blk_create(), race_blk_delete_list(), race_collect_lines(), race_db_read(), race_get_stats(), race_handle_race_condition(), and race_report_verbose().

int race_blk_s::reason

Numerical reason for why this statement block was found to be a race condition

Referenced by funit_db_mod_merge(), race_blk_create(), race_collect_lines(), race_db_write(), race_get_stats(), and race_report_verbose().

int race_blk_s::start_line

Starting line number of statement block that was found to be a race condition

Referenced by funit_db_mod_merge(), race_blk_create(), race_collect_lines(), race_db_write(), race_handle_race_condition(), and race_report_verbose().

---

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

• /Users/trevorw/projects/release/covered-0.7.9/src/defines.h