Stack instrumentation errorneous about typeart HOT 2 CLOSED

entry:
  alloca a;
  alloca b;
B1:
  start(a);
  ++stack;
  end(a);
B2:
  start(b);
  ++stack
  end(b);
fin:
  leave(stack);
  ret void;

stack_vars == {X, X} with map == { X }

>> Here we overwrite int32 with class.std::thread:
[Trace] Alloc 0x7fffe060c080 2 int32 4 1 (0x401891) S
[Warning]AllocationTracking.cpp:doAlloc:166:Pointer already in map 0x7fffe060c080 278 class.std::thread 8 1 (0x4018a5)
[Trace] Alloc 0x7fffe060c080 278 class.std::thread 8 1 (0x4018a5) S
<< end
>> Here we overwrite the first int32 with class.std::thread:
[Trace] Alloc 0x7fffe060c070 2 int32 4 1 (0x4018b9) S
[Trace] Alloc 0x7fffe060c064 2 int32 4 1 (0x4018cd) S
[Warning]AllocationTracking.cpp:doAlloc:166:Pointer already in map 0x7fffe060c070 278 class.std::thread 8 1 (0x4018e1)
[Trace] Alloc 0x7fffe060c070 278 class.std::thread 8 1 (0x4018e1) S
<< end

.....
[Trace] Stack after free: 11
[Trace] Freeing stack (11)  11
...
[Trace] Free 0x7fffe060c080 278 class.std::thread 8 1 (0x4018a5)
[Error]AllocationTracking.cpp:operator():214:Free on unregistered address 0x7fffe060c080 (0x401a9f)
[Trace] Free 0x7fffe060c070 278 class.std::thread 8 1 (0x4018e1)
[Trace] Free 0x7fffe060c064 2 int32 4 1 (0x4018cd)
[Error]AllocationTracking.cpp:operator():214:Free on unregistered address 0x7fffe060c070 (0x401a9f)
[Trace] Stack after free: 0

############################################
Allocation type detail (heap, stack, global)
...
2   :    0 ,  2484 ,    0 , int32 
#########################################
Free allocation type detail (heap, stack)
...
2   :    0 ,  2482 , int32   

[Trace] Alloc 0x7ffecda47888 2 int32 4 1 (0x401902) S
....
[Warning]AllocationTracking.cpp:doAlloc:166:Pointer already in map 0x7ffecda47888 278 class.std::thread 8 1 (0x401936)
[Trace] Alloc 0x7ffecda47888 278 class.std::thread 8 1 (0x401936) S


[Trace] Alloc 0x7ffecda47878 2 int32 4 1 (0x40194d) S
...
[Warning]AllocationTracking.cpp:doAlloc:166:Pointer already in map 0x7ffecda47878 278 class.std::thread 8 1 (0x401986)
[Trace] Free 0x7f6bfc579d1c 2 int32 4 1 (0x401311)
[Trace] Alloc 0x7ffecda47878 278 class.std::thread 8 1 (0x401986) S

.....

[Trace] Stack after free: 11
[Trace] Freeing stack (11)  11
[Trace] Free 0x7ffecda47888 278 class.std::thread 8 1 (0x401936)
[Error]AllocationTracking.cpp:operator():214:Free on unregistered address 0x7ffecda47888 (0x401aaf)
[Trace] Free 0x7ffecda47878 278 class.std::thread 8 1 (0x401986)
[Error]AllocationTracking.cpp:operator():214:Free on unregistered address 0x7ffecda47878 (0x401aaf)
[Trace] Stack after free: 0