Lines Matching full:example

43 We would like to explain data flow analysis while discussing an example. Let's
48 void Example(int n) {
116 information that we track. In this case, we can, for example, arbitrarily limit
168 In this example we show how to model uninitialized variables only to demonstrate
183 Let's consider a slightly more complex example, and think about how we can
187 void Example(int n) {
227 *   Statements, for example, assignments.
229 *   Joins in control flow, for example, ones that appear at the end of "if"
235 program point. For example, the transfer function for assignment ignores the
314 In the previous example where we tried to figure out what values a variable can
347 A human can say about the previous example that the function returns `x` when
351 execution path that led to this statement. For example, the flow condition for
374 analysis terminates. For example, it can use a constraint solver to prune
396 ## Example: finding output parameters
413 For example, in the following code snippet the pointer `c` is an output
496 satisfy, for example, that function arguments do not alias, that users are not
582 ## Example: finding dead stores
600 questions, for example:
607 ## Example: definitive initialization
645 ## Example: refactoring raw pointers to `unique_ptr`
654 For example, we would like to refactor the following code that uses raw
704 Let's look at an example where the raw pointer owns two different memory blocks:
733 In the following example, the raw pointer is used to access the heap object
792 pointer to a `Conflicting` state, like in this example.
821 ## Example: finding redundant branch conditions
860 ## Example: finding unchecked `std::optional` unwraps
866 In the example below `x.value()` is accessed safely because it is guarded by the
870 void Example(std::optional<int> &x) {
881 void Example(std::optional<int> x) {
897 void Example(std::optional<int> &x) {
907 ## Example: finding dead code behind A/B experiment flags
918 For example, the user could use the tool to remove `example_flag` from this
924 void Example() {
938 void Example() {
947 ## Example: finding inefficient usages of associative containers
969 redundant checks, like in the example below.
978 ## Example: refactoring types that implicitly convert to each other
984 each other, for example, replacing `int32_t` with `int64_t`.