Missing nodes for pointer variables about sea-dsa HOT 3 CLOSED

@shaobo: I'll close this issue. Open it if it's not solved yet.

from sea-dsa.

Are you sure that it is still %24 in the analyzed code? The code is transformed prior to alias analysis, so it is possible that the name simply has changed.

I will look deeper, but it may take me a little time before I can get into this. Would be nice if this is not a true bug, but only a renaming :)

from sea-dsa.

Thank you for your quick reply. I grepped the file produced using the -oll option and it still contains %24,

$ grep "%24 = getelementptr.*%23" real.ll
  %24 = getelementptr inbounds %"class.std::__1::__libcpp_compressed_pair_imp.4", %"class.std::__1::__libcpp_compressed_pair_imp.4"* %23, i32 0, i32 0, !dbg !11275, !verifier.code !6341
  %24 = getelementptr inbounds %"struct.std::__1::__list_node_base", %"struct.std::__1::__list_node_base"* %23, i32 0, i32 1, !dbg !11820, !verifier.code !6341

from sea-dsa.