From d53bb22673261b227d5045c435bd2acd4c87c236 Mon Sep 17 00:00:00 2001 From: ctice Date: Fri, 13 Jul 2007 23:11:15 +0000 Subject: Add ability to track uninitialized variables, and mark uninitialized variables in the Dwarf debug info. Controlled by compile option -fvar-tracking-uninit git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@126630 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/rtl.h | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) (limited to 'gcc/rtl.h') diff --git a/gcc/rtl.h b/gcc/rtl.h index 124f5280950..63f65730d10 100644 --- a/gcc/rtl.h +++ b/gcc/rtl.h @@ -847,6 +847,22 @@ extern const char * const reg_note_name[]; #define NOTE_VAR_LOCATION_LOC(INSN) (XCEXP (XCEXP (INSN, 4, NOTE), \ 1, VAR_LOCATION)) +/* Initialization status of the variable in the location. Status + can be unknown, uninitialized or initialized. See enumeration + type below. */ +#define NOTE_VAR_LOCATION_STATUS(INSN) (XCINT (XCEXP (INSN, 4, NOTE), \ + 2, VAR_LOCATION)) + +/* Possible initialization status of a variable. When requested + by the user, this information is tracked and recorded in the DWARF + debug information, along with the variable's location. */ +enum var_init_status +{ + VAR_INIT_STATUS_UNKNOWN, + VAR_INIT_STATUS_UNINITIALIZED, + VAR_INIT_STATUS_INITIALIZED +}; + /* Codes that appear in the NOTE_KIND field for kinds of notes that are not line numbers. These codes are all negative. -- cgit v1.2.1