Add test9. Update test results.

1 files changed, 211 insertions, 0 deletions

diff --git a/test/test7-05.txt b/test/test7-05.txt
index e418cf0..f7ea1d6 100644
--- a/test/test7-05.txt
+++ b/test/test7-05.txt
@@ -939,6 +939,12 @@ function_decl __gthread_yield:
 function_decl __gthread_once: 
 if_stmt : __func, __once, 
 cleanup_point_expr : __func, __once, 
+ne_expr : __func, __once, 
+call_expr : __func, __once, 
+addr_expr : __func, __once, 
+function_decl __gthread_active_p: __func, __once, 
+integer_cst 0: __func, __once, 
+cleanup_point_expr : __func, __once, 
 return_expr : __func, __once, 
 init_expr : __func, __once, 
 result_decl : __func, __once, 
@@ -1044,6 +1050,12 @@ integer_cst 64: __ptr,
 function_decl __gthread_mutex_init_function: 
 if_stmt : __mutex, 
 cleanup_point_expr : __mutex, 
+ne_expr : __mutex, 
+call_expr : __mutex, 
+addr_expr : __mutex, 
+function_decl __gthread_active_p: __mutex, 
+integer_cst 0: __mutex, 
+cleanup_point_expr : __mutex, 
 expr_stmt : __mutex, 
 convert_expr : __mutex, 
 call_expr : __mutex, 
@@ -1066,6 +1078,12 @@ integer_cst 0: __mutex,
 function_decl __gthread_mutex_destroy: 
 if_stmt : __mutex, 
 cleanup_point_expr : __mutex, 
+ne_expr : __mutex, 
+call_expr : __mutex, 
+addr_expr : __mutex, 
+function_decl __gthread_active_p: __mutex, 
+integer_cst 0: __mutex, 
+cleanup_point_expr : __mutex, 
 return_expr : __mutex, 
 init_expr : __mutex, 
 result_decl : __mutex, 
@@ -1104,6 +1122,12 @@ integer_cst 0: __mutex,
 function_decl __gthread_mutex_lock: 
 if_stmt : __mutex, 
 cleanup_point_expr : __mutex, 
+ne_expr : __mutex, 
+call_expr : __mutex, 
+addr_expr : __mutex, 
+function_decl __gthread_active_p: __mutex, 
+integer_cst 0: __mutex, 
+cleanup_point_expr : __mutex, 
 return_expr : __mutex, 
 init_expr : __mutex, 
 result_decl : __mutex, 
@@ -1142,6 +1166,12 @@ integer_cst 0: __mutex,
 function_decl __gthread_mutex_trylock: 
 if_stmt : __mutex, 
 cleanup_point_expr : __mutex, 
+ne_expr : __mutex, 
+call_expr : __mutex, 
+addr_expr : __mutex, 
+function_decl __gthread_active_p: __mutex, 
+integer_cst 0: __mutex, 
+cleanup_point_expr : __mutex, 
 return_expr : __mutex, 
 init_expr : __mutex, 
 result_decl : __mutex, 
@@ -1180,6 +1210,12 @@ integer_cst 0: __mutex,
 function_decl __gthread_mutex_timedlock: 
 if_stmt : __abs_timeout, __mutex, 
 cleanup_point_expr : __abs_timeout, __mutex, 
+ne_expr : __abs_timeout, __mutex, 
+call_expr : __abs_timeout, __mutex, 
+addr_expr : __abs_timeout, __mutex, 
+function_decl __gthread_active_p: __abs_timeout, __mutex, 
+integer_cst 0: __abs_timeout, __mutex, 
+cleanup_point_expr : __abs_timeout, __mutex, 
 return_expr : __abs_timeout, __mutex, 
 init_expr : __abs_timeout, __mutex, 
 result_decl : __abs_timeout, __mutex, 
@@ -1228,6 +1264,12 @@ integer_cst 0: __abs_timeout, __mutex,
 function_decl __gthread_mutex_unlock: 
 if_stmt : __mutex, 
 cleanup_point_expr : __mutex, 
+ne_expr : __mutex, 
+call_expr : __mutex, 
+addr_expr : __mutex, 
+function_decl __gthread_active_p: __mutex, 
+integer_cst 0: __mutex, 
+cleanup_point_expr : __mutex, 
 return_expr : __mutex, 
 init_expr : __mutex, 
 result_decl : __mutex, 
@@ -1775,6 +1817,12 @@ integer_cst 32: __mem,
 function_decl __exchange_and_add_dispatch: 
 if_stmt : __mem, 
 cleanup_point_expr : __mem, 
+ne_expr : __mem, 
+call_expr : __mem, 
+addr_expr : __mem, 
+function_decl __gthread_active_p: __mem, 
+integer_cst 0: __mem, 
+cleanup_point_expr : __mem, 
 return_expr : __mem, 
 init_expr : __mem, 
 result_decl : __mem, 
@@ -1834,6 +1882,12 @@ integer_cst 32: __mem,
 function_decl __atomic_add_dispatch: 
 if_stmt : __mem, 
 cleanup_point_expr : __mem, 
+ne_expr : __mem, 
+call_expr : __mem, 
+addr_expr : __mem, 
+function_decl __gthread_active_p: __mem, 
+integer_cst 0: __mem, 
+cleanup_point_expr : __mem, 
 expr_stmt : __mem, 
 call_expr : __mem, 
 addr_expr : __mem, 
@@ -2386,6 +2440,16 @@ integer_cst 64: aptr,
 integer_cst 0: aptr, 
 function_decl func3: 
 if_stmt : aptr, 
+ne_expr : aptr, 
+parm_decl aptr: aptr, 
+pointer_type : aptr, 
+integer_type : aptr, 
+type_decl int: aptr, 
+integer_cst 32: aptr, 
+integer_cst -2147483648: aptr, 
+integer_cst 2147483647: aptr, 
+integer_cst 64: aptr, 
+integer_cst 0: aptr, 
 cleanup_point_expr : 
 expr_stmt : 
 convert_expr : 
@@ -2448,6 +2512,18 @@ integer_cst 0: sptr,
 function_decl func6: 
 statement_list : sptr, 
 if_stmt : sptr, 
+eq_expr : sptr, 
+parm_decl sptr: sptr, 
+pointer_type : sptr, 
+record_type : sptr, 
+type_decl Struct1: sptr, 
+field_decl str: sptr, 
+integer_cst 64: sptr, 
+field_decl num: sptr, 
+integer_cst 32: sptr, 
+type_decl Struct1: sptr, 
+integer_cst 64: sptr, 
+integer_cst 0: sptr, 
 return_expr : sptr, 
 cleanup_point_expr : sptr, 
 expr_stmt : 
@@ -2471,6 +2547,19 @@ integer_cst 0:
 function_decl func7: 
 statement_list : sptr, 
 if_stmt : sptr, 
+eq_expr : sptr, 
+nop_expr : sptr, 
+parm_decl sptr: sptr, 
+pointer_type : sptr, 
+record_type : sptr, 
+type_decl Struct1: sptr, 
+field_decl str: sptr, 
+integer_cst 64: sptr, 
+field_decl num: sptr, 
+integer_cst 32: sptr, 
+type_decl Struct1: sptr, 
+integer_cst 64: sptr, 
+integer_cst 0: sptr, 
 return_expr : sptr, 
 cleanup_point_expr : sptr, 
 expr_stmt : 
@@ -2950,6 +3039,80 @@ integer_cst : __s,
 statement_list : __s, 
 if_stmt : __s, 
 cleanup_point_expr : __s, 
+lt_expr : __s, 
+minus_expr : __s, 
+call_expr : __s, 
+addr_expr : __s, 
+function_decl max_size: __s, 
+parm_decl this: __s, 
+pointer_type : __s, 
+record_type : __s, 
+type_decl vector: __s, 
+field_decl : __s, 
+integer_cst 192: __s, 
+using_decl _M_allocate: __s, 
+using_decl _M_deallocate: __s, 
+using_decl _M_impl: __s, 
+using_decl _M_get_Tp_allocator: __s, 
+using_decl get_allocator: __s, 
+type_decl vector: __s, 
+type_decl _Alloc_value_type: __s, 
+type_decl _Base: __s, 
+type_decl _Tp_alloc_type: __s, 
+type_decl _Alloc_traits: __s, 
+type_decl value_type: __s, 
+type_decl pointer: __s, 
+type_decl const_pointer: __s, 
+type_decl reference: __s, 
+type_decl const_reference: __s, 
+type_decl iterator: __s, 
+type_decl const_iterator: __s, 
+type_decl const_reverse_iterator: __s, 
+type_decl reverse_iterator: __s, 
+type_decl size_type: __s, 
+type_decl difference_type: __s, 
+type_decl allocator_type: __s, 
+integer_cst 64: __s, 
+call_expr : __s, 
+addr_expr : __s, 
+function_decl size: __s, 
+parm_decl this: __s, 
+pointer_type : __s, 
+record_type : __s, 
+type_decl vector: __s, 
+field_decl : __s, 
+integer_cst 192: __s, 
+using_decl _M_allocate: __s, 
+using_decl _M_deallocate: __s, 
+using_decl _M_impl: __s, 
+using_decl _M_get_Tp_allocator: __s, 
+using_decl get_allocator: __s, 
+type_decl vector: __s, 
+type_decl _Alloc_value_type: __s, 
+type_decl _Base: __s, 
+type_decl _Tp_alloc_type: __s, 
+type_decl _Alloc_traits: __s, 
+type_decl value_type: __s, 
+type_decl pointer: __s, 
+type_decl const_pointer: __s, 
+type_decl reference: __s, 
+type_decl const_reference: __s, 
+type_decl iterator: __s, 
+type_decl const_iterator: __s, 
+type_decl const_reverse_iterator: __s, 
+type_decl reverse_iterator: __s, 
+type_decl size_type: __s, 
+type_decl difference_type: __s, 
+type_decl allocator_type: __s, 
+integer_cst 64: __s, 
+parm_decl __n: __s, 
+integer_type : __s, 
+type_decl size_type: __s, 
+integer_cst 64: __s, 
+integer_cst 0: __s, 
+integer_cst : __s, 
+integer_cst 64: __s, 
+cleanup_point_expr : __s, 
 expr_stmt : __s, 
 call_expr : __s, 
 addr_expr : __s, 
@@ -3362,6 +3525,20 @@ function_decl _M_deallocate:
 bind_expr : __p, 
 type_decl _Tr: __p, 
 if_stmt : __p, 
+ne_expr : __p, 
+parm_decl __p: __p, 
+pointer_type : __p, 
+type_decl pointer: __p, 
+pointer_type : __p, 
+record_type : __p, 
+type_decl Struct1: __p, 
+field_decl str: __p, 
+integer_cst 64: __p, 
+field_decl num: __p, 
+integer_cst 32: __p, 
+type_decl Struct1: __p, 
+integer_cst 64: __p, 
+integer_cst 0: __p, 
 cleanup_point_expr : 
 expr_stmt : 
 call_expr : 
@@ -3799,6 +3976,32 @@ function_decl allocate:
 statement_list : , 
 if_stmt : , 
 cleanup_point_expr : , 
+lt_expr : , 
+call_expr : , 
+addr_expr : , 
+function_decl max_size: , 
+parm_decl this: , 
+pointer_type : , 
+record_type : , 
+type_decl new_allocator: , 
+template_decl rebind: , 
+type_decl new_allocator: , 
+type_decl size_type: , 
+type_decl difference_type: , 
+type_decl pointer: , 
+type_decl const_pointer: , 
+type_decl reference: , 
+type_decl const_reference: , 
+type_decl value_type: , 
+integer_cst 64: , 
+parm_decl __n: , 
+integer_type : , 
+type_decl size_type: , 
+integer_cst 64: , 
+integer_cst 0: , 
+integer_cst : , 
+integer_cst 64: , 
+cleanup_point_expr : , 
 expr_stmt : , 
 call_expr : , 
 addr_expr : , 
@@ -3957,6 +4160,10 @@ statement_list : __first, __last, __result,
 decl_expr : __first, __last, __result, 
 var_decl _Num: __first, __last, __result, 
 if_stmt : __first, __last, __result, 
+ne_expr : __first, __last, __result, 
+nop_expr : __first, __last, __result, 
+var_decl _Num: __first, __last, __result, 
+integer_cst 0: __first, __last, __result, 
 cleanup_point_expr : __first, __last, __result, 
 expr_stmt : __first, __last, __result, 
 convert_expr : __first, __last, __result, 
@@ -4307,6 +4514,10 @@ statement_list : __first, __last, __result,
 decl_expr : __first, __last, __result, 
 var_decl _Num: __first, __last, __result, 
 if_stmt : __first, __last, __result, 
+ne_expr : __first, __last, __result, 
+nop_expr : __first, __last, __result, 
+var_decl _Num: __first, __last, __result, 
+integer_cst 0: __first, __last, __result, 
 cleanup_point_expr : __first, __last, __result, 
 expr_stmt : __first, __last, __result, 
 convert_expr : __first, __last, __result,