Lines Matching refs:Called
1 //===- CalledOnceCheck.cpp - Check 'called once' parameters ---------------===//
82 // track the fact whether paramater was called or not. This automatically
83 // decides two kinds: `NotCalled` and `Called`.
85 // One of the erroneous situations is the case when parameter is called only
88 // to happen in every execution. We also don't want to have it as `Called`
91 // `MaybeCalled`, and change `Called` to `DefinitelyCalled` to avoid
107 // such situations. We don't know if it gets called there or not, but we
132 // Called on one path, not called on another - that's simply
151 // another function (so we can assume that it was possibly called there).
153 // Parameter was definitely called once at this point.
157 // Parameter was not yet called.
159 // Parameter was not called at least on one path leading to this point,
160 // while there is also at least one path that it gets called.
232 /// Return true if parameter with the given index can be called.
238 /// Should only be used for parameters that can be called.
376 // It is a fallback method that gets called whenever the actual type
486 /// Clarification is a simple pair of a reason why parameter is not called
766 // we can judge that some of the tracked parameters are not called on
801 // If we have 'maybe called' at this point, we have an error
803 // is not called.
895 // interpreted both as called or not called depending on the context.
909 // At this point, this parameter was called, so this is a second call.
924 // as called.
925 ParameterStatus Called(ParameterStatus::DefinitelyCalled, Call);
926 CurrentParamStatus = Called;
999 /// parameter is conventionally called once.
1118 // Return a call site where the block is called exactly once or null otherwise
1190 // callback parameter will be called exactly once.
1215 // We care only about functions that are not supposed to be called.
1360 // couldn't and shouldn't be called on the 'else' path.
1517 // being called on certain paths.
1560 // annotations, or other reasons that the block is called once and only
1565 // situation when we know that the block is called exactly once, we can be
1624 // is intentionally not called on this path.