Review failing examples & add flags to them if it proceeds

[adpaco-aws]

There are 98 failing examples after adding the trim-diagnostic-paths=no flag to the list of flags (this is missing in the dashboard code). We should review these examples before #517 and add flags that make them pass if possible. The list of examples is:

• Rust by Example/Conversion/To and from Strings/10.rs - known issue Failure to cast back to &str from &[u8] #241
• Rust by Example/Conversion/To and from Strings/41.rs - known issue Failure to cast back to &str from &[u8] #241 + overflow
• Rust by Example/Custom Types/Enums/Testcase: linked-list/5.rs - multiple memory safety failures
• Rust by Example/Error handling/Iterating over Results/22.rs - Failures when iterating over results #556
• Rust by Example/Error handling/Iterating over Results/39.rs - Failures when iterating over results #556
• Rust by Example/Error handling/Iterating over Results/5.rs - Failures when iterating over results #556
• Rust by Example/Error handling/Iterating over Results/54.rs - Failures when iterating over results #556
• Rust by Example/Error handling/Iterating over Results/69.rs - Failures when iterating over results #556 & takes a long time to verify with --unwind 4 --object-bits 10
• Rust by Example/Error handling/Multiple error types/Boxing errors/11.rs - Spurious overflow failures with Result/Error types #558
• Rust by Example/Error handling/Multiple error types/Defining an error type/18.rs - Spurious overflow failures with Result/Error types #558
• Rust by Example/Error handling/Multiple error types/Other uses of ?/25.rs - Spurious overflow failures with Result/Error types #558
• Rust by Example/Error handling/Multiple error types/Pulling Results out of Options/34.rs - Spurious overflow failures with Result/Error types #558
• Rust by Example/Error handling/Multiple error types/Pulling Results out of Options/6.rs - Spurious overflow failures with Result/Error types #558
• Rust by Example/Error handling/Multiple error types/Wrapping errors/5.rs - Spurious overflow failures with Result/Error types #558
• Rust by Example/Error handling/Option & unwrap/Combinators: and_then/15.rs - Spurious overflow failures with Result/Error types #558
• Rust by Example/Error handling/Option & unwrap/Combinators: map/15.rs - Spurious overflow failures with Result/Error types #558
• Rust by Example/Error handling/Option & unwrap/Unpacking options with ?/19.rs - Spurious overflow failures with Result/Error types #558
• Rust by Example/Error handling/Result/64.rs - Spurious overflow failures with Result/Error types #558
• Rust by Example/Error handling/Result/Early returns/11.rs - Spurious overflow failures with Result/Error types #558
• Rust by Example/Error handling/Result/Introducing ?/16.rs - Spurious overflow failures with Result/Error types #558
• Rust by Example/Error handling/Result/Introducing ?/46.rs - Spurious overflow failures with Result/Error types #558
• Rust by Example/Error handling/Result/aliases for Result/14.rs - Spurious overflow failures with Result/Error types #558
• Rust by Example/Error handling/Result/map for Result/15.rs - Spurious overflow failures with Result/Error types #558
• Rust by Example/Error handling/Result/map for Result/54.rs - Spurious overflow failures with Result/Error types #558
• Rust by Example/Flow of Control/for and range/63.rs takes a long time to verify with --unwind 4 --object-bits 10, and --unwind 4 is not enough
• Rust by Example/Functions/13.rs
• Rust by Example/Functions/Closures/Examples in std/Iterator::any/22.rs Pointer outside object bounds in iterator examples #559
• Rust by Example/Functions/Closures/Examples in std/Searching through iterators/22.rs Pointer outside object bounds in iterator examples #559
• Rust by Example/Generics/Associated items/Associated types/7.rs - Warning in 2015 edition, error in 2018
• Rust by Example/Generics/Phantom type parameters/Testcase: unit clarification/24.rs Structure mismatch in "Generics - Phantom type parameters" example #560
• Rust by Example/Scoping rules/RAII/11.rs Too many addressed objects in RAII example #561
• Rust by Example/Std library types/Arc/5.rs - Concurrent features used
• Rust by Example/Std library types/HashMap/14.rs - Unsupported std-lib feature used
• Rust by Example/Std library types/HashMap/Alternate_custom key types/29.rs - Unsupported std-lib feature used
• Rust by Example/Std library types/Strings/118.rs - May be related to Spurious overflow failures with Result/Error types #558
• Rust by Example/Std library types/Strings/12.rs- Needs a higher unwind value but takes too long
• Rust by Example/Std misc/Channels/7.rs - Concurrent features used
• Rust by Example/Std misc/File I_O/read lines/9.rs - I/O features used, needs a higher unwind value but takes too long
• Rust by Example/Std misc/Path/15.rs - Multiple failures in Path example #563
• Rust by Example/Std misc/Program arguments/8.rs - Arguments used, needs a higher unwind value but takes too long
• Rust by Example/Std misc/Program arguments/Argument parsing/5.rs - Arguments used, needs a higher unwind value but takes too long
• Rust by Example/Std misc/Threads/6.rs - Concurrent features used
• Rust by Example/Std misc/Threads/Testcase: map-reduce/24.rs - Concurrent features used
• Rust by Example/Traits/Derive/16.rs - Spurious overflow failures with Result/Error types #558
• Rust by Example/Traits/Disambiguating overlapping traits/11.rs - Multiple failures in overlapping traits example #564
• Rust by Example/Traits/impl Trait/6.rs - May be related to Pointer outside object bounds in iterator examples #559
• Rust by Example/Traits/impl Trait/64.rs
• The Rust Reference/Appendices/Glossary/263.rs
• The Rust Reference/Items/Use declarations/37.rs - Unsupported std-lib feature used
• The Rust Reference/Linkage/190.rs - Env variables used, needs a higher unwind value but takes too long
• The Rust Reference/Macros/48.rs - CBMC invariant violation as in CBMC invariant violation with an RMC/Bolero integration example #479
• The Rust Reference/Patterns/367.rs
• The Rust Reference/Statements and expressions/Expressions/125.rs - Pointer outside object bounds in iterator examples #559
• The Rust Reference/Statements and expressions/Expressions/Grouped expressions/27.rs - PointerCast::ClosureFnPointer is unimplemented #274
• The Rust Reference/Statements and expressions/Expressions/Method call expressions/10.rs - Maybe Spurious overflow failures with Result/Error types #558
• The Rust Reference/Statements and expressions/Expressions/Operator expressions/108.rs - Maybe Failures when iterating over results #556
• The Rust Reference/Statements and expressions/Expressions/Operator expressions/263.rs - Spurious overflow failures with Result/Error types #558
• The Rust Reference/Type system/Types/113.rs
• The Rust Reference/Type system/Types/Closure types/137.rs - PointerCast::ClosureFnPointer is unimplemented #274
• The Rust Reference/Type system/Types/Trait object types/71.rs
• The Rustonomicon/Concurrency/Races/30.rs
• The Rustonomicon/Concurrency/Races/61.rs
• The Rustonomicon/Data Layout/Exotically Sized Types/47.rs - DST example fails to codegen #566
• The Rustonomicon/Implementing Vec/Final Code/3.rs - Maybe Support for unwrapped Vectors #78
• The Unstable Book/Compiler Flags/sanitizer/198.rs - The example is supposed to error with a sanitizer
• The Unstable Book/Compiler Flags/sanitizer/344.rs - Concurrent features used
• The Unstable Book/Compiler Flags/sanitizer/53.rs - The example is supposed to error with a sanitizer
• The Unstable Book/Language Features/generators/165.rs - Support Rust's Generator feature #416
• The Unstable Book/Language Features/generators/28.rs - Support Rust's Generator feature #416
• The Unstable Book/Language Features/generators/60.rs - Support Rust's Generator feature #416
• The Unstable Book/Language Features/trait_alias/14.rs - Dashboard example generated with 2 pub declarations #567
• The Unstable Book/Language Features/try_blocks/12.rs - Spurious overflow failures with Result/Error types #558
• The Unstable Book/Language Features/unsized_locals/13.rs - Support for unsized rvalues #568
• The Unstable Book/Language Features/unsized_locals/153.rs - Support for unsized rvalues #568
• The Unstable Book/Language Features/unsized_locals/164.rs - Support for unsized rvalues #568
• The Unstable Book/Language Features/unsized_locals/88.rs - Support for unsized rvalues #568
• The Unstable Book/Language Features/unsized_tuple_coercion/17.rs - Support for unsized rvalues #568
• The Unstable Book/Library Features/asm/119.rs - Add support for inline ASM #2
• The Unstable Book/Library Features/asm/133.rs - Add support for inline ASM #2
• The Unstable Book/Library Features/asm/155.rs - Add support for inline ASM #2
• The Unstable Book/Library Features/asm/176.rs - Add support for inline ASM #2
• The Unstable Book/Library Features/asm/194.rs - Add support for inline ASM #2
• The Unstable Book/Library Features/asm/242.rs - Add support for inline ASM #2
• The Unstable Book/Library Features/asm/272.rs - Add support for inline ASM #2
• The Unstable Book/Library Features/asm/332.rs - Add support for inline ASM #2
• The Unstable Book/Library Features/asm/380.rs - Add support for inline ASM #2
• The Unstable Book/Library Features/asm/40.rs - Add support for inline ASM #2
• The Unstable Book/Library Features/asm/417.rs - Add support for inline ASM #2
• The Unstable Book/Library Features/asm/57.rs - Add support for inline ASM #2
• The Unstable Book/Library Features/asm/79.rs - Add support for inline ASM #2
• The Unstable Book/Library Features/format_args_capture/14.rs - Support for format_args_capture #569
• The Unstable Book/Library Features/format_args_capture/28.rs - Support for format_args_capture #569
• The Unstable Book/Library Features/llvm_asm/135.rs - Add support for inline ASM #2
• The Unstable Book/Library Features/llvm_asm/169.rs - Add support for inline ASM #2
• The Unstable Book/Library Features/llvm_asm/33.rs - Add support for inline ASM #2
• The Unstable Book/Library Features/llvm_asm/59.rs - Add support for inline ASM #2
• The Unstable Book/Library Features/llvm_asm/75.rs - Add support for inline ASM #2
• The Unstable Book/Library Features/llvm_asm/91.rs - Add support for inline ASM #2

Checks here mean that they have been reviewed - the actual fix will come in a later PR.

[adpaco-aws]

All examples in this issue have been reviewed. This first pass allowed us to group up all failures into a few ones, and adding certain flags to some examples (mostly increasing --unwind or --object-bits) is making them pass.

However, we noticed that the number of failing examples has gone up significantly (maybe because of #535). I will investigate this tomorrow and determine how to proceed.

[adpaco-aws]

Marking this as blocked because of #581