00001 // ---------------------------------------------------------------------- 00002 // 00003 // C-Breeze 00004 // C Compiler Framework 00005 // 00006 // Copyright (c) 2000 University of Texas at Austin 00007 // 00008 // Samuel Z. Guyer 00009 // Daniel A. Jimenez 00010 // Calvin Lin 00011 // 00012 // Permission is hereby granted, free of charge, to any person 00013 // obtaining a copy of this software and associated documentation 00014 // files (the "Software"), to deal in the Software without 00015 // restriction, including without limitation the rights to use, copy, 00016 // modify, merge, publish, distribute, sublicense, and/or sell copies 00017 // of the Software, and to permit persons to whom the Software is 00018 // furnished to do so, subject to the following conditions: 00019 // 00020 // The above copyright notice and this permission notice shall be 00021 // included in all copies or substantial portions of the Software. 00022 // 00023 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, 00024 // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF 00025 // MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND 00026 // NONINFRINGEMENT. IN NO EVENT SHALL THE UNIVERSITY OF TEXAS AT 00027 // AUSTIN BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER 00028 // IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF 00029 // OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 00030 // THE SOFTWARE. 00031 // 00032 // We acknowledge the C-to-C Translator from MIT Laboratory for 00033 // Computer Science for inspiring parts of the C-Breeze design. 00034 // 00035 // ---------------------------------------------------------------------- 00036 00037 #ifndef CBZ_POINTERVALUE_H 00038 #define CBZ_POINTERVALUE_H 00039 00040 #include "location.h" 00041 #include "memorymodel.h" 00042 #include "memoryblock.h" 00043 #include "ipanalysis.h" 00044 #include "handle.h" 00045 00046 typedef pair< memoryBlock *, memoryUse * > pointer_use; 00047 typedef set< pointer_use > pointer_use_set; 00048 typedef pointer_use_set::iterator pointer_use_set_p; 00049 00057 class pointerValue 00058 { 00059 public: 00060 00061 memoryblock_set blocks; 00062 Handle< analysisVal > value; 00063 bool is_address; 00064 00067 pointerValue(); 00068 00071 pointerValue(memoryBlock *mb, bool is_address = false); 00072 00073 00076 inline void copy_pointers_from(const pointerValue & other) { 00077 blocks = other.blocks; 00078 is_address = other.is_address; 00079 } 00080 00083 inline void initialize_pointers() { 00084 blocks.clear(); 00085 is_address = false; 00086 } 00087 00088 }; 00089 00090 typedef list< pointerValue > pointervalue_list; 00091 typedef pointervalue_list::iterator pointervalue_list_p; 00092 00093 #endif // CBZ_POINTERVALUE_H