Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Convert references more consistently #1696

Merged
merged 43 commits into from
Mar 1, 2024
Merged

Convert references more consistently #1696

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
43 commits
Select commit Hold shift + click to select a range
83c0fc4
[clang-c] convert: move init of anon symbol to separate function
fbrausse Feb 21, 2024
88c54c7
[clang-cpp] convert: dereference reference-typed VarDecls
fbrausse Feb 21, 2024
80db274
[clang-cpp] convert: intro new anon symbol for materialized temporaries
fbrausse Feb 21, 2024
4ac7787
[regression] fix 77 cases, 3 new bugs
fbrausse Feb 21, 2024
771afc2
[regression] add simplified case from #1694
fbrausse Feb 21, 2024
f74d7bb
[clang] skip intermediate reference types when getting a reference type
fbrausse Feb 26, 2024
bd74f61
[clang-cpp] simplify
fbrausse Feb 26, 2024
6738706
[clang] take reference return type into account for function calls
fbrausse Feb 26, 2024
f1e2bb6
[clang-cpp] unify code structure in get_decl_ref() + add annotations …
fbrausse Feb 26, 2024
f9ad7db
[util] c_typecast: handle both directions of implicit conv. ref <-> n…
fbrausse Feb 26, 2024
05aacd0
[clang-cpp] adjust code: rm unnecessary adjustment of reference initi…
fbrausse Feb 26, 2024
6af42e1
[regression] fix 54 more KNOWNBUG
fbrausse Feb 26, 2024
655bc5e
[cpp] <vector>: fix implementation of operators ++, -- on iterators
fbrausse Feb 26, 2024
4ce2c65
[cpp] <vector>: more (const-) iterator fixes
fbrausse Feb 26, 2024
83da564
[cpp] add skeleton <new> + another vector::insert() method
fbrausse Feb 26, 2024
ac7b129
[clang-cpp] adjust: initializer can be constant
fbrausse Feb 26, 2024
8cf2821
[cpp] <vector>: fix insert()
fbrausse Feb 26, 2024
47e9ede
[regression] fixed another 73 KNOWNBUG
fbrausse Feb 26, 2024
f209b7e
[util] c_typecast: clang-format
fbrausse Feb 26, 2024
c63337b
[cpp] fix pre C++11 parsing errors of <map>
fbrausse Feb 26, 2024
b9b5659
[regression] fixed another 51 KNOWNBUG
fbrausse Feb 26, 2024
463840c
[cpp] <string_view>: add implementations of most methods
fbrausse Feb 28, 2024
f30a1c1
[clang-cpp] construct correct signatures already in convert()
fbrausse Feb 28, 2024
877caa3
[irep, irep2] add assertions to addr_of constructor
fbrausse Feb 28, 2024
987a7af
[regression] fix 22 KNOWNBUG
fbrausse Feb 28, 2024
e43ba76
[dereference] allow dereferencing symbolic types
fbrausse Feb 28, 2024
06e9394
[clang-cpp] comment unused vars
fbrausse Feb 28, 2024
4350f66
[regression] fixed 1 KNOWNBUG
fbrausse Feb 28, 2024
1e07342
[clang-cpp] convert ctor call: only invent new symbol for top-level c…
fbrausse Feb 28, 2024
6658791
[clang-cpp] convert: fix assumption for build_member_from_component()
fbrausse Feb 28, 2024
b662ab5
[solidity] add "this" ptr to constructor params + always use temporar…
fbrausse Feb 29, 2024
203b1eb
[regression] revert falsely fixing 5 KNOWNBUG
fbrausse Feb 29, 2024
40f0a5c
Revert "[clang-c] convert: move init of anon symbol to separate funct…
fbrausse Feb 29, 2024
dd29145
[regression] add KNOWNBUG, this is #1723
fbrausse Feb 29, 2024
87e974c
[cpp] fix <string_view>: includes + avoid unsupported nullptr
fbrausse Feb 29, 2024
0d2634f
[regression] pass --cppstd 17 to string_view TCs
fbrausse Feb 29, 2024
fdf9bfd
[cpp] fix ostream_iterator: store pointer to stream + post-inc return…
fbrausse Feb 29, 2024
7a1b604
[regression] fixed 4 KNOWNBUG
fbrausse Feb 29, 2024
51588f3
Revert "[regression] fixed 1 KNOWNBUG"
fbrausse Feb 29, 2024
9d96e8d
[regression] fixed 1 KNOWNBUG
fbrausse Feb 29, 2024
6b1b933
[regression] fixed 4 KNOWNBUG
fbrausse Feb 29, 2024
b3fcbd6
[unit] disable test leading to an invalid addr_of of an addr_of
fbrausse Feb 29, 2024
654be36
[regression] add 4 new KNOWNBUG
fbrausse Feb 29, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
[regression] revert falsely fixing 5 KNOWNBUG
  • Loading branch information
@fbrausse
fbrausse committed Feb 29, 2024
commit 203b1ebd79d54d65b65d3122fcc28877357f08b0
2 changes: 1 addition & 1 deletion regression/cuda/benchmarks/093_bronken_shuffle/test.desc
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
CORE
KNOWNBUG
main.cu
--unwind 9 --force-malloc-success --state-hashing --context-bound 2 --data-races-check --no-bounds-check

Expand Down
2 changes: 1 addition & 1 deletion regression/cuda/benchmarks/099_test8/test.desc
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
CORE
KNOWNBUG
main.cu
--context-bound 3 --force-malloc-success --state-hashing --unwind 9 --data-races-check

Expand Down
2 changes: 1 addition & 1 deletion regression/esbmc-cpp/algorithm/algorithm58/test.desc
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
CORE
KNOWNBUG
main.cpp
--unwind 6 --no-unwinding-assertions --timeout 900
^VERIFICATION SUCCESSFUL$
2 changes: 1 addition & 1 deletion regression/esbmc-cpp/cpp/ch17_3/test.desc
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
CORE
KNOWNBUG
main.cpp
--unwind 10 --no-unwinding-assertions --timeout 900
^VERIFICATION SUCCESSFUL$
2 changes: 1 addition & 1 deletion regression/esbmc-cpp/cpp/ch17_5/test.desc
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
CORE
KNOWNBUG
main.cpp
--unwind 10 --no-unwinding-assertions --timeout 900
^VERIFICATION SUCCESSFUL$