[Bug analyzer/106392] Support iteration over C++ containers in -fanalyzer

2023-06-08 Thread vultkayn at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106392 --- Comment #3 from Benjamin Priour --- > I think the unordered containers might be too hard. I would start with > std::vector, as that will probably give the best return on investment of > effort. > Indeed, I just found these slides from cla

[Bug analyzer/106392] Support iteration over C++ containers in -fanalyzer

2023-06-08 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106392 --- Comment #2 from Jonathan Wakely --- (In reply to Benjamin Priour from comment #1) > [[gnu::invalidate(swap)]] - Both containers should be invalidated. Name > probably ill-chosen since swapping two lists invalidates nothing. Swapping doesn'

[Bug analyzer/106392] Support iteration over C++ containers in -fanalyzer

2023-06-08 Thread vultkayn at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106392 Benjamin Priour changed: What|Removed |Added CC||vultkayn at gcc dot gnu.org --- Comme