[Bug analyzer/117262] [15 regression] Analyzer doesn't handle RAW_DATA_CST properly

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117262 David Malcolm changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug analyzer/117262] [15 regression] Analyzer doesn't handle RAW_DATA_CST properly

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117262 --- Comment #10 from GCC Commits --- The master branch has been updated by David Malcolm : https://gcc.gnu.org/g:8015a72ae496401e05942f4d33c94aa45174f841 commit r15-8016-g8015a72ae496401e05942f4d33c94aa45174f841 Author: David Malcolm Date:

[Bug analyzer/117262] [15 regression] Analyzer doesn't handle RAW_DATA_CST properly

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117262 --- Comment #9 from David Malcolm --- Thanks for the clarifications. I'm testing a fix now.

[Bug analyzer/117262] [15 regression] Analyzer doesn't handle RAW_DATA_CST properly

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117262 --- Comment #8 from Jakub Jelinek --- Would --- gcc/tree.def.jj 2025-01-15 08:43:39.818915636 +0100 +++ gcc/tree.def2025-03-11 23:42:20.672722008 +0100 @@ -505,6 +505,12 @@ DEFTREECODE (OBJ_TYPE_REF, "obj_type_ref one for each in

[Bug analyzer/117262] [15 regression] Analyzer doesn't handle RAW_DATA_CST properly

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117262 --- Comment #7 from David Malcolm --- tree.def has: /* Used to represent the brace-enclosed initializers for a structure or an array. It contains a sequence of component values made out of a VEC of constructor_elt. For RECORD_TYPE, U

[Bug analyzer/117262] [15 regression] Analyzer doesn't handle RAW_DATA_CST properly

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117262 --- Comment #6 from David Malcolm --- Looking at this again... (In reply to David Malcolm from comment #3) > I see: > > (gdb) pt ctor > type type public unsigned QI > size > unit-size > ali

[Bug analyzer/117262] [15 regression] Analyzer doesn't handle RAW_DATA_CST properly

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117262 --- Comment #5 from Jakub Jelinek --- (In reply to David Malcolm from comment #4) > where arguably the type of the symbolic value should be >unsigned char[72] > rather than: >unsigned char > > This is because the analyzer is just using

[Bug analyzer/117262] [15 regression] Analyzer doesn't handle RAW_DATA_CST properly

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117262 Richard Biener changed: What|Removed |Added Target Milestone|--- |15.0

[Bug analyzer/117262] [15 regression] Analyzer doesn't handle RAW_DATA_CST properly

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117262 --- Comment #4 from David Malcolm --- (In reply to Jakub Jelinek from comment #2) > Sure, it is trunk only, introduced in r15-4375. > Would be nice if it could be handled similarly to apply_ctor_val_to_range by > creating just a single record fo

[Bug analyzer/117262] [15 regression] Analyzer doesn't handle RAW_DATA_CST properly

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117262 --- Comment #3 from David Malcolm --- I see: (gdb) pt ctor unit-size align:8 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type 0x7fffea664348 precision:8 min max pointer_to_this > BLK

[Bug analyzer/117262] [15 regression] Analyzer doesn't handle RAW_DATA_CST properly

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117262 --- Comment #2 from Jakub Jelinek --- Sure, it is trunk only, introduced in r15-4375. Would be nice if it could be handled similarly to apply_ctor_val_to_range by creating just a single record for the whole range, just with slightly different me

[Bug analyzer/117262] [15 regression] Analyzer doesn't handle RAW_DATA_CST properly

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117262 David Malcolm changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Ever confirmed|0