pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Alphabetize CIssue

Browse Source 
Reviewed By: dulmarod

Differential Revision: D3614384

fbshipit-source-id: 30a498b
master
Martino Luca 8 years ago committed by Facebook Github Bot 3
parent ff597a6c03
commit adb0ef8a78
2 changed files with 14 additions and 13 deletions
Show Stats Download Patch File Download Diff File

21
infer/src/clang/cIssue.ml
Unescape View File

@ -9,31 +9,32 @@
type issue = type issue =
| Assign_pointer_warning | Assign_pointer_warning
| Strong_delegate_warning
| Global_variable_initialized_with_function_or_method_call
| Direct_atomic_property_access
| Cxx_reference_captured_in_objc_block | Cxx_reference_captured_in_objc_block
| Direct_atomic_property_access
| Global_variable_initialized_with_function_or_method_call
| Registered_observer_being_deallocated | Registered_observer_being_deallocated
| Strong_delegate_warning
let to_string issue = let to_string issue =
match issue with match issue with
| Assign_pointer_warning -> "ASSIGN_POINTER_WARNING" | Assign_pointer_warning -> "ASSIGN_POINTER_WARNING"
| Strong_delegate_warning -> "STRONG_DELEGATE_WARNING" | Cxx_reference_captured_in_objc_block ->
"CXX_REFERENCE_CAPTURED_IN_OBJC_BLOCK"
| Direct_atomic_property_access -> "DIRECT_ATOMIC_PROPERTY_ACCESS"
| Global_variable_initialized_with_function_or_method_call -> | Global_variable_initialized_with_function_or_method_call ->
"GLOBAL_VARIABLE_INITIALIZED_WITH_FUNCTION_OR_METHOD_CALL" "GLOBAL_VARIABLE_INITIALIZED_WITH_FUNCTION_OR_METHOD_CALL"
| Direct_atomic_property_access -> "DIRECT_ATOMIC_PROPERTY_ACCESS"
| Cxx_reference_captured_in_objc_block -> "CXX_REFERENCE_CAPTURED_IN_OBJC_BLOCK"
| Registered_observer_being_deallocated -> | Registered_observer_being_deallocated ->
Localise.to_string (Localise.registered_observer_being_deallocated) Localise.to_string (Localise.registered_observer_being_deallocated)
| Strong_delegate_warning -> "STRONG_DELEGATE_WARNING"
let severity_of_issue issue = let severity_of_issue issue =
match issue with match issue with
| Assign_pointer_warning | Assign_pointer_warning
| Strong_delegate_warning
| Global_variable_initialized_with_function_or_method_call
| Direct_atomic_property_access
| Cxx_reference_captured_in_objc_block | Cxx_reference_captured_in_objc_block
| Registered_observer_being_deallocated -> Exceptions.Kwarning | Direct_atomic_property_access
| Global_variable_initialized_with_function_or_method_call
| Registered_observer_being_deallocated
| Strong_delegate_warning -> Exceptions.Kwarning
type issue_desc = { type issue_desc = {

6
infer/src/clang/cIssue.mli
Unescape View File

@ -9,11 +9,11 @@
type issue = type issue =
| Assign_pointer_warning | Assign_pointer_warning
| Strong_delegate_warning
| Global_variable_initialized_with_function_or_method_call
| Direct_atomic_property_access
| Cxx_reference_captured_in_objc_block | Cxx_reference_captured_in_objc_block
| Direct_atomic_property_access
| Global_variable_initialized_with_function_or_method_call
| Registered_observer_being_deallocated | Registered_observer_being_deallocated
| Strong_delegate_warning
val to_string : issue -> string val to_string : issue -> string

Write Preview
Loading…
Cancel
Save