[PATCH] D127973: [analyzer] Eval construction of non POD type arrays.

[Balázs Benics via Phabricator via cfe-commits]

steakhal added a comment.

In D127973#3749153 <https://reviews.llvm.org/D127973#3749153>, @isuckatcs wrote:

> @steakhal
>
> Can you send me a snippet please, which reproduces this issue? For me the egraph rewriter works fine.

I had the time for reducing it. Luckily it wasn't that bad.

  digraph "Exploded Graph" {
  	label="Exploded Graph";
  
  	Node0x7fda6c098a40 [shape=record,label="{\{ \"state_id\": 0,\l  \"program_points\": [\l    \{ \"kind\": \"Edge\", \"src_id\": 20, \"dst_id\": 19, \"terminator\": null, \"term_kind\": null, \"tag\": null, \"node_id\": 1, \"is_sink\": 0, \"has_report\": 0 \},\l    \{ \"kind\": \"BlockEntrance\", \"block_id\": 19, \"tag\": null, \"node_id\": 2, \"is_sink\": 0, \"has_report\": 0 \},\l    \{ \"kind\": \"Statement\", \"stmt_kind\": \"DeclRefExpr\", \"stmt_id\": 7381222, \"pointer\": \"0x7fda78fd1e50\", \"pretty\": \"storage\", \"location\": \{ \"line\": 12, \"column\": 28, \"file\": \"/redacted/file.cc\" \}, \"stmt_point_kind\": \"PreStmtPurgeDeadSymbols\", \"tag\": \"ExprEngine : Clean Node\", \"node_id\": 3, \"is_sink\": 0, \"has_report\": 0 \}\l  ],\l  \"program_state\": \{\l    \"store\": null,\l    \"environment\": null,\l    \"constraints\": null,\l    \"equivalence_classes\": null,\l    \"disequality_info\": null,\l    \"dynamic_types\": null,\l    \"dynamic_casts\": null,\l    \"constructing_objects\": null,\l    \"checker_messages\": null\l  \}\l\}\l}"];
  	Node0x7fda6c098a40 -> Node0x7fda6c098cb0;
  	Node0x7fda6c098cb0 [shape=record,label="{\{ \"state_id\": 78,\l  \"program_points\": [\l    \{ \"kind\": \"Statement\", \"stmt_kind\": \"DeclRefExpr\", \"stmt_id\": 7381222, \"pointer\": \"0x7fda78fd1e50\", \"pretty\": \"storage\", \"location\": \{ \"line\": 12, \"column\": 28, \"file\": \"/redacted/file.cc\" \}, \"stmt_point_kind\": \"PostLValue\", \"tag\": null, \"node_id\": 4, \"is_sink\": 0, \"has_report\": 0 \},\l    \{ \"kind\": \"Statement\", \"stmt_kind\": \"DeclRefExpr\", \"stmt_id\": 7381222, \"pointer\": \"0x7fda78fd1e50\", \"pretty\": \"storage\", \"location\": \{ \"line\": 12, \"column\": 28, \"file\": \"/redacted/file.cc\" \}, \"stmt_point_kind\": \"PostStmt\", \"tag\": null, \"node_id\": 5, \"is_sink\": 0, \"has_report\": 0 \}\l  ],\l  \"program_state\": \{\l    \"store\": null,\l    \"environment\": \{ \"pointer\": \"0x7fda6c02e890\", \"items\": [\l      \{ \"lctx_id\": 1, \"location_context\": \"#0 Call\", \"calling\": \"redacted::Fun\", \"location\": null, \"items\": [\l        \{ \"stmt_id\": 7381222, \"pretty\": \"storage\", \"value\": \"&storage\" \}\l      ]\}\l    ]\},\l    \"constraints\": null,\l    \"equivalence_classes\": null,\l    \"disequality_info\": null,\l    \"dynamic_types\": null,\l    \"dynamic_casts\": null,\l    \"constructing_objects\": null,\l    \"checker_messages\": null\l  \}\l\}\l}"];
  	Node0x7fda6c098cb0 -> Node0x7fda6c099160;
  	Node0x7fda6c099160 [shape=record,label="{\{ \"state_id\": 228,\l  \"program_points\": [\l    \{ \"kind\": \"Statement\", \"stmt_kind\": \"MemberExpr\", \"stmt_id\": 7381229, \"pointer\": \"0x7fda78fd1e88\", \"pretty\": \"storage-\>Comp\", \"location\": \{ \"line\": 12, \"column\": 28, \"file\": \"/redacted/file.cc\" \}, \"stmt_point_kind\": \"PostStmt\", \"tag\": null, \"node_id\": 8, \"is_sink\": 0, \"has_report\": 0 \}\l  ],\l  \"program_state\": \{\l    \"store\": null,\l    \"environment\": \{ \"pointer\": \"0x7fda6c02e890\", \"items\": [\l      \{ \"lctx_id\": 1, \"location_context\": \"#0 Call\", \"calling\": \"redacted::Fun\", \"location\": null, \"items\": [\l        \{ \"stmt_id\": 7381222, \"pretty\": \"storage\", \"value\": \"&storage\" \},\l        \{ \"stmt_id\": 7381226, \"pretty\": \"storage\", \"value\": \"&SymRegion\{reg_$0\<class redacted::mfun * storage\>\}\" \},\l        \{ \"stmt_id\": 7381229, \"pretty\": \"storage-\>Comp\", \"value\": \"&code\{Comp\}\" \}\l      ]\}\l    ]\},\l    \"constraints\": null,\l    \"equivalence_classes\": null,\l    \"disequality_info\": null,\l    \"dynamic_types\": null,\l    \"dynamic_casts\": null,\l    \"constructing_objects\": null,\l    \"checker_messages\": null\l  \}\l\}\l}"];
  }


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D127973/new/

https://reviews.llvm.org/D127973