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

Balázs Benics via Phabricator via cfe-commits Fri, 26 Aug 2022 00:27:20 -0700

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&nbsp;&nbsp;\"program_points\": [\l&nbsp;&nbsp;&nbsp;&nbsp;\{ \"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&nbsp;&nbsp;&nbsp;&nbsp;\{ \"kind\": \"BlockEntrance\", \"block_id\": 19, 
\"tag\": null, \"node_id\": 2, \"is_sink\": 0, \"has_report\": 0 
\},\l&nbsp;&nbsp;&nbsp;&nbsp;\{ \"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&nbsp;&nbsp;],\l&nbsp;&nbsp;\"program_state\": 
\{\l&nbsp;&nbsp;&nbsp;&nbsp;\"store\": 
null,\l&nbsp;&nbsp;&nbsp;&nbsp;\"environment\": 
null,\l&nbsp;&nbsp;&nbsp;&nbsp;\"constraints\": 
null,\l&nbsp;&nbsp;&nbsp;&nbsp;\"equivalence_classes\": 
null,\l&nbsp;&nbsp;&nbsp;&nbsp;\"disequality_info\": 
null,\l&nbsp;&nbsp;&nbsp;&nbsp;\"dynamic_types\": 
null,\l&nbsp;&nbsp;&nbsp;&nbsp;\"dynamic_casts\": 
null,\l&nbsp;&nbsp;&nbsp;&nbsp;\"constructing_objects\": 
null,\l&nbsp;&nbsp;&nbsp;&nbsp;\"checker_messages\": 
null\l&nbsp;&nbsp;\}\l\}\l}"];
        Node0x7fda6c098a40 -> Node0x7fda6c098cb0;
        Node0x7fda6c098cb0 [shape=record,label="{\{ \"state_id\": 
78,\l&nbsp;&nbsp;\"program_points\": [\l&nbsp;&nbsp;&nbsp;&nbsp;\{ \"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&nbsp;&nbsp;&nbsp;&nbsp;\{ \"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&nbsp;&nbsp;],\l&nbsp;&nbsp;\"program_state\": 
\{\l&nbsp;&nbsp;&nbsp;&nbsp;\"store\": 
null,\l&nbsp;&nbsp;&nbsp;&nbsp;\"environment\": \{ \"pointer\": 
\"0x7fda6c02e890\", \"items\": [\l&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;\{ 
\"lctx_id\": 1, \"location_context\": \"#0 Call\", \"calling\": 
\"redacted::Fun\", \"location\": null, \"items\": 
[\l&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;\{ \"stmt_id\": 7381222, 
\"pretty\": \"storage\", \"value\": \"&storage\" 
\}\l&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;]\}\l&nbsp;&nbsp;&nbsp;&nbsp;]\},\l&nbsp;&nbsp;&nbsp;&nbsp;\"constraints\":
 null,\l&nbsp;&nbsp;&nbsp;&nbsp;\"equivalence_classes\": 
null,\l&nbsp;&nbsp;&nbsp;&nbsp;\"disequality_info\": 
null,\l&nbsp;&nbsp;&nbsp;&nbsp;\"dynamic_types\": 
null,\l&nbsp;&nbsp;&nbsp;&nbsp;\"dynamic_casts\": 
null,\l&nbsp;&nbsp;&nbsp;&nbsp;\"constructing_objects\": 
null,\l&nbsp;&nbsp;&nbsp;&nbsp;\"checker_messages\": 
null\l&nbsp;&nbsp;\}\l\}\l}"];
        Node0x7fda6c098cb0 -> Node0x7fda6c099160;
        Node0x7fda6c099160 [shape=record,label="{\{ \"state_id\": 
228,\l&nbsp;&nbsp;\"program_points\": [\l&nbsp;&nbsp;&nbsp;&nbsp;\{ \"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&nbsp;&nbsp;],\l&nbsp;&nbsp;\"program_state\": 
\{\l&nbsp;&nbsp;&nbsp;&nbsp;\"store\": 
null,\l&nbsp;&nbsp;&nbsp;&nbsp;\"environment\": \{ \"pointer\": 
\"0x7fda6c02e890\", \"items\": [\l&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;\{ 
\"lctx_id\": 1, \"location_context\": \"#0 Call\", \"calling\": 
\"redacted::Fun\", \"location\": null, \"items\": 
[\l&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;\{ \"stmt_id\": 7381222, 
\"pretty\": \"storage\", \"value\": \"&storage\" 
\},\l&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;\{ \"stmt_id\": 7381226, 
\"pretty\": \"storage\", \"value\": \"&SymRegion\{reg_$0\<class redacted::mfun 
* storage\>\}\" \},\l&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;\{ 
\"stmt_id\": 7381229, \"pretty\": \"storage-\>Comp\", \"value\": 
\"&code\{Comp\}\" 
\}\l&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;]\}\l&nbsp;&nbsp;&nbsp;&nbsp;]\},\l&nbsp;&nbsp;&nbsp;&nbsp;\"constraints\":
 null,\l&nbsp;&nbsp;&nbsp;&nbsp;\"equivalence_classes\": 
null,\l&nbsp;&nbsp;&nbsp;&nbsp;\"disequality_info\": 
null,\l&nbsp;&nbsp;&nbsp;&nbsp;\"dynamic_types\": 
null,\l&nbsp;&nbsp;&nbsp;&nbsp;\"dynamic_casts\": 
null,\l&nbsp;&nbsp;&nbsp;&nbsp;\"constructing_objects\": 
null,\l&nbsp;&nbsp;&nbsp;&nbsp;\"checker_messages\": 
null\l&nbsp;&nbsp;\}\l\}\l}"];
  }


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D127973

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

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

Reply via email to