From ca613a77ff7eb79728b4c8b5bd30da03fec66f54 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Fri, 24 Jul 2015 12:32:46 -0100 Subject: [PATCH] [copyrightor] format start and end of copyright comments Summary: The script now reformats the start and end of comments if necessary. --- infer/models/c/src/glib.c | 2 +- infer/models/c/src/infer_builtins.c | 2 +- infer/models/c/src/infer_builtins.h | 2 +- infer/models/c/src/libc_basic.c | 2 +- infer/models/c/src/math.c | 2 +- infer/models/c/src/wchar.c | 2 +- infer/models/c/src/wctype.c | 2 +- infer/models/c/src/xlib.c | 2 +- infer/models/cpp/src/shared_ptr.cpp | 2 +- .../facebook/infer/models/InferBuiltins.java | 2 +- infer/models/objc/src/NSAutoreleasePool.m | 4 +- infer/models/objc/src/NSObject.m | 2 +- infer/src/backend/checkCopyright.ml | 117 ++++++++++++------ infer/src/backend/version.ml.in | 2 +- infer/src/checkers/immutableChecker.mli | 2 +- infer/src/checkers/repeatedCallsChecker.mli | 2 +- infer/src/clang/plugin/InferPlugin.cpp | 2 +- infer/src/clang/plugin/test/test.cpp | 2 +- .../c/errors/arithmetic/array_out_of_bounds.c | 2 +- .../c/errors/arithmetic/divide_by_zero.c | 2 +- .../c/errors/initialization/initlistexpr.c | 2 +- .../codetoanalyze/c/errors/lists/lists.c | 2 +- .../c/errors/memory_leaks/test.c | 2 +- .../c/errors/null_dereference/angelism.c | 2 +- .../null_pointer_dereference.c | 2 +- .../c/errors/resource_leaks/leak.c | 2 +- .../frontend/arithmetic/compound_assignment.c | 2 +- .../c/frontend/arithmetic/int_const.c | 2 +- .../c/frontend/arithmetic/plus_expr.c | 2 +- .../c/frontend/arithmetic/unary.c | 2 +- .../c/frontend/booleans/bool_example.c | 2 +- .../c/frontend/booleans/condition_as_param.c | 2 +- .../c/frontend/c_prototype/prototype.c | 2 +- .../codetoanalyze/c/frontend/comma/comma.c | 2 +- .../conditional_operator/array_access.c | 2 +- .../conditional_operator/assert_example.c | 2 +- .../conditional_operator/binary_operator.c | 2 +- .../c/frontend/conditional_operator/cond2.c | 2 +- .../conditional_operator.c | 2 +- .../conditional_operator/function_call.c | 2 +- .../conditional_operator/if_short_circuit.c | 2 +- .../conditional_operator/int_negation.c | 2 +- .../conditional_operator/member_access.c | 2 +- .../conditional_operator/preincrement.c | 2 +- .../conditional_operator/unary_operator.c | 2 +- .../c/frontend/enumeration/enum.c | 2 +- .../c/frontend/gotostmt/goto_ex.c | 2 +- .../initialization/array_initlistexpr.c | 2 +- .../initialization/struct_initlistexpr.c | 2 +- .../codetoanalyze/c/frontend/loops/do_while.c | 2 +- .../loops/do_while_condition_side_effects.c | 2 +- .../c/frontend/loops/do_while_nested.c | 2 +- .../loops/for_condition_side_effects.c | 2 +- .../c/frontend/loops/for_nested.c | 2 +- .../c/frontend/loops/for_no_condition.c | 2 +- .../c/frontend/loops/for_no_condition_incr.c | 2 +- .../loops/for_no_condition_incr_body.c | 2 +- .../c/frontend/loops/for_only_body.c | 2 +- .../c/frontend/loops/for_simple.c | 2 +- .../c/frontend/loops/for_while_nested.c | 2 +- .../codetoanalyze/c/frontend/loops/while.c | 2 +- .../loops/while_condition_side_effects.c | 2 +- .../c/frontend/loops/while_nested.c | 2 +- .../c/frontend/loops/while_no_body.c | 2 +- .../loops/while_with_continue_and_break.c | 2 +- .../nestedoperators/assign_in_condition.c | 2 +- .../c/frontend/nestedoperators/gnuexpr.c | 2 +- .../nestedoperators/nestedassignment.c | 2 +- .../c/frontend/nestedoperators/union.c | 2 +- .../c/frontend/switchstmt/switch.c | 2 +- .../cpp/frontend/namespace/namespace.cpp | 2 +- .../java/eradicate/LibraryCalls.java | 2 +- .../SuppressedFieldNotInitializedExample.java | 2 +- .../java/infer/AutoGenerated.java | 2 +- .../codetoanalyze/java/infer/Builtins.java | 2 +- .../java/infer/HashMapExample.java | 2 +- .../java/infer/NullPointerExceptions.java | 2 +- .../objc/errors/category_procdesc/EOCPerson.h | 2 +- .../objc/errors/category_procdesc/EOCPerson.m | 2 +- .../objc/errors/category_procdesc/main.c | 2 +- .../objc/errors/field_superclass/A.h | 2 +- .../objc/errors/field_superclass/B.h | 2 +- .../objc/errors/field_superclass/B.m | 2 +- .../errors/field_superclass/SuperExample.m | 2 +- .../objc/errors/field_superclass/field.c | 2 +- .../memory_leaks_benchmark/ArcExample.m | 2 +- .../AutoreleaseExample.m | 2 +- .../MemoryLeakExample.h | 2 +- .../MemoryLeakExample.m | 2 +- .../NSStringInitWithBytesNoCopyExample.m | 2 +- .../RetainReleaseExample.m | 2 +- .../RetainReleaseExample2.m | 2 +- .../RetainReleaseExampleBucketing.m | 2 +- .../TollBridgeExample.m | 2 +- .../memory_leaks_benchmark/retain_cycle.m | 2 +- .../codetoanalyze/objc/errors/npe/Fraction.m | 2 +- .../objc/errors/npe/NPD_core_foundation.h | 2 +- .../objc/errors/npe/NPD_core_foundation.m | 2 +- .../errors/npe/Nonnull_attribute_example.m | 2 +- .../objc/errors/npe/UpdateDict.m | 2 +- .../codetoanalyze/objc/errors/npe/block.m | 2 +- .../objc/errors/npe/nil_in_array_literal.m | 2 +- .../codetoanalyze/objc/errors/npe/nil_param.m | 2 +- .../objc/errors/npe/npe_malloc.m | 2 +- .../codetoanalyze/objc/errors/npe/npe_self.m | 2 +- .../objc/errors/npe/null_returned_by_method.m | 2 +- .../objc/errors/procdescs/MethodCall.h | 2 +- .../objc/errors/procdescs/MethodCall.m | 2 +- .../objc/errors/procdescs/main.c | 2 +- .../objc/errors/property/IvarExample.h | 2 +- .../codetoanalyze/objc/errors/property/main.c | 2 +- .../objc/errors/protocol_procdesc/Bicycle.h | 2 +- .../objc/errors/protocol_procdesc/Bicycle.m | 2 +- .../errors/protocol_procdesc/StreetVehicle.h | 2 +- .../objc/errors/protocol_procdesc/main.c | 2 +- .../resource_leaks/ResourceLeakExample.m | 2 +- .../objc/errors/returnstmt/return_npe_test.m | 2 +- .../premature_nil_termination.m | 2 +- .../frontend/assertions/NSAssert_example.m | 2 +- .../objc/frontend/block/BlockVar.h | 2 +- .../objc/frontend/block/BlockVar.m | 2 +- .../codetoanalyze/objc/frontend/block/block.m | 2 +- .../objc/frontend/block/block_no_args.m | 2 +- .../objc/frontend/block/block_release.m | 2 +- .../objc/frontend/block/dispatch.m | 2 +- .../objc/frontend/block/dispatch_examples.m | 2 +- .../codetoanalyze/objc/frontend/block/main.m | 2 +- .../objc/frontend/block/retain_cycle.m | 2 +- .../objc/frontend/block/static.m | 2 +- .../objc/frontend/boxing/Boxing.h | 2 +- .../objc/frontend/boxing/Boxing.m | 2 +- .../objc/frontend/boxing/array.m | 2 +- .../objc/frontend/boxing/array_literal.c | 2 +- .../objc/frontend/boxing/dict_literal.c | 2 +- .../objc/frontend/boxing/string_literal.c | 2 +- .../ConditionalOperation.m | 2 +- .../frontend/exceptions/ExceptionExample.m | 2 +- .../predefined_expr/PredefinedExprExample.m | 2 +- .../objc/frontend/property/Car.h | 2 +- .../objc/frontend/property/Car.m | 2 +- .../frontend/property/PropertyAttributes.m | 2 +- .../property/PropertyCustomAccessor.m | 2 +- .../frontend/property/PropertyImplSetter.h | 2 +- .../frontend/property/PropertyImplSetter.m | 2 +- .../objc/frontend/property/Property_getter.m | 2 +- .../objc/frontend/property/aclass.m | 2 +- .../objc/frontend/property/main_car.m | 2 +- .../property_in_protocol/MyProtocol.h | 2 +- .../objc/frontend/property_in_protocol/Test.h | 2 +- .../objc/frontend/property_in_protocol/Test.m | 2 +- .../objc/frontend/protocol/protocol.m | 2 +- .../objc/frontend/returnstmt/void_return.m | 2 +- .../objc/frontend/self_static/Self.m | 2 +- .../objc/frontend/self_static/static.m | 2 +- .../frontend/strings/global_string_literal.m | 2 +- .../objc/frontend/strings/string_literal.m | 2 +- .../codetoanalyze/objc/frontend/subclass/A.h | 2 +- .../codetoanalyze/objc/frontend/subclass/A.m | 2 +- .../objc/frontend/subclass/MyClass.h | 2 +- .../objc/frontend/subclass/MyClass.m | 2 +- .../objc/frontend/subclass/MySubClass.h | 2 +- .../objc/frontend/subclass/MySubClass.m | 2 +- .../objc/frontend/subclass/main.c | 2 +- .../objc/frontend/types/attributes.m | 2 +- .../objc/frontend/types/testloop.m | 2 +- .../objc/frontend/types/void_call.m | 2 +- .../objc/frontend/vardecl/aclass.m | 2 +- .../objc/frontend/vardecl/aclass_2.m | 2 +- .../objc/frontend/vardecl/initlist.m | 2 +- .../objc/frontend/vardecl/last_af.m | 2 +- .../frontend/funcoverloading/af_test.mm | 2 +- infer/tests/endtoend/c/AngelismTest.java | 2 +- .../endtoend/c/ArrayOutOfBoundsTest.java | 2 +- infer/tests/endtoend/c/AssertTest.java | 2 +- infer/tests/endtoend/c/DivideByZeroTest.java | 2 +- infer/tests/endtoend/c/InitListExprTest.java | 2 +- infer/tests/endtoend/c/ListsTest.java | 2 +- infer/tests/endtoend/c/LocalVarsTest.java | 2 +- infer/tests/endtoend/c/MemoryLeakTest.java | 2 +- .../tests/endtoend/c/NullDereferenceTest.java | 2 +- .../endtoend/c/NullDereferenceTest2.java | 2 +- infer/tests/endtoend/c/ResourceLeakTest.java | 2 +- infer/tests/endtoend/c/SentinelTest.java | 2 +- .../ActivityFieldNotInitializedTest.java | 2 +- .../java/eradicate/LibraryCallsTest.java | 2 +- .../SuppressedFieldNotInitializedTest.java | 2 +- .../java/infer/AnalysisStopsTest.java | 2 +- .../java/infer/AutoGeneratedTest.java | 2 +- .../endtoend/java/infer/BuiltinsTest.java | 2 +- .../endtoend/java/infer/HashMapModelTest.java | 2 +- .../java/infer/NullPointerExceptionTest.java | 2 +- .../tests/endtoend/objc/AutoreleaseTest.java | 2 +- infer/tests/endtoend/objc/BlockTest.java | 2 +- .../endtoend/objc/CategoryProcdescTest.java | 2 +- infer/tests/endtoend/objc/DispatchTest.java | 2 +- .../endtoend/objc/FieldSuperclassTest.java | 2 +- .../objc/MemoryLeakBucketingArcTest.java | 2 +- .../objc/MemoryLeakBucketingTest.java | 2 +- infer/tests/endtoend/objc/MemoryLeakTest.java | 2 +- .../objc/MemoryLeaksFromModelsTest.java | 2 +- .../objc/NPDCoreFoundationClassTest.java | 2 +- .../endtoend/objc/NPEArrayLiteralTest.java | 2 +- infer/tests/endtoend/objc/NPEMallocTest.java | 2 +- infer/tests/endtoend/objc/NPESelfTest.java | 2 +- infer/tests/endtoend/objc/NSAssertTest.java | 2 +- .../endtoend/objc/NSMakeCollectableTest.java | 2 +- .../objc/NilParamDerefObjCClassTest.java | 2 +- .../endtoend/objc/NonnullAttributeTest.java | 2 +- .../endtoend/objc/NullDerefObjCBlockTest.java | 2 +- .../endtoend/objc/NullDerefObjCClassTest.java | 2 +- .../objc/NullReturnedByMethodTest.java | 2 +- .../objc/PrematureNilTerminationTest.java | 2 +- infer/tests/endtoend/objc/ProcdescTest.java | 2 +- .../endtoend/objc/PropertyMemoryLeakTest.java | 2 +- infer/tests/endtoend/objc/PropertyTest.java | 2 +- .../endtoend/objc/ProtocolProcdescTest.java | 2 +- .../tests/endtoend/objc/ResourceLeakTest.java | 2 +- .../tests/endtoend/objc/RetainCycle2Test.java | 2 +- .../tests/endtoend/objc/RetainCycleTest.java | 2 +- .../endtoend/objc/RetainreleaseTest.java | 2 +- infer/tests/endtoend/objc/ReturnTest.java | 2 +- infer/tests/endtoend/objc/SuperTest.java | 2 +- infer/tests/endtoend/objc/TollBridgeTest.java | 2 +- .../endtoend/objc/UpdateDictNPETest.java | 2 +- infer/tests/frontend/c/ArithmeticExpTest.java | 2 +- infer/tests/frontend/c/BoolTest.java | 2 +- infer/tests/frontend/c/CommaOperatorTest.java | 2 +- .../frontend/c/ConditionalOperatorTest.java | 2 +- infer/tests/frontend/c/EnumerationTest.java | 2 +- infer/tests/frontend/c/GnuexprTest.java | 2 +- .../frontend/c/GotoStmtLabelStmtTest.java | 2 +- infer/tests/frontend/c/InitListExprTest.java | 2 +- infer/tests/frontend/c/LoopsTest.java | 2 +- .../tests/frontend/c/NestedOperatorsTest.java | 2 +- infer/tests/frontend/c/PrototypeTest.java | 2 +- infer/tests/frontend/c/SwitchStmtTest.java | 2 +- infer/tests/frontend/c/TypesTest.java | 2 +- infer/tests/frontend/cpp/CastsTest.java | 2 +- infer/tests/frontend/cpp/ClassTest.java | 2 +- infer/tests/frontend/cpp/FunctionsTest.java | 2 +- infer/tests/frontend/cpp/LiteralsTest.java | 2 +- infer/tests/frontend/cpp/NamespaceTest.java | 2 +- infer/tests/frontend/objc/ArcExampleTest.java | 2 +- infer/tests/frontend/objc/BlockTest.java | 2 +- infer/tests/frontend/objc/BoxingTest.java | 2 +- infer/tests/frontend/objc/CategoryTest.java | 2 +- .../objc/ConditionalOperatorTest.java | 2 +- infer/tests/frontend/objc/ExceptionTest.java | 2 +- .../frontend/objc/FastEnumerationTest.java | 2 +- .../frontend/objc/LateDefinedVarDeclTest.java | 2 +- infer/tests/frontend/objc/MallocTest.java | 2 +- .../objc/MemoryLeakBenchmarkTest.java | 2 +- infer/tests/frontend/objc/NSAssertTest.java | 2 +- .../frontend/objc/NonnullAttributeTest.java | 2 +- .../objc/PredefinedExpressionTest.java | 2 +- infer/tests/frontend/objc/PropertyTest.java | 2 +- infer/tests/frontend/objc/ProtocolTest.java | 2 +- infer/tests/frontend/objc/ReturnTest.java | 2 +- infer/tests/frontend/objc/StaticSelf.java | 2 +- infer/tests/frontend/objc/StringTest.java | 2 +- infer/tests/frontend/objc/SubclassTest.java | 2 +- infer/tests/frontend/objc/TypesTest.java | 2 +- .../frontend/objcpp/FuncOverloadingTest.java | 2 +- 263 files changed, 339 insertions(+), 304 deletions(-) diff --git a/infer/models/c/src/glib.c b/infer/models/c/src/glib.c index b22ea869e..1dda3ecd6 100644 --- a/infer/models/c/src/glib.c +++ b/infer/models/c/src/glib.c @@ -6,7 +6,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ // Basic modelling of some glib functions diff --git a/infer/models/c/src/infer_builtins.c b/infer/models/c/src/infer_builtins.c index e5d45e3c7..47d6759f6 100644 --- a/infer/models/c/src/infer_builtins.c +++ b/infer/models/c/src/infer_builtins.c @@ -6,7 +6,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ // builtins to be used to model library functions diff --git a/infer/models/c/src/infer_builtins.h b/infer/models/c/src/infer_builtins.h index ba5267323..50dda5744 100644 --- a/infer/models/c/src/infer_builtins.h +++ b/infer/models/c/src/infer_builtins.h @@ -6,7 +6,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ // builtins to be used to model library functions diff --git a/infer/models/c/src/libc_basic.c b/infer/models/c/src/libc_basic.c index 69590b7f6..f2c96afcd 100644 --- a/infer/models/c/src/libc_basic.c +++ b/infer/models/c/src/libc_basic.c @@ -6,7 +6,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ // Basic modelling of some libc functions diff --git a/infer/models/c/src/math.c b/infer/models/c/src/math.c index dd9847bb1..34e3254ae 100644 --- a/infer/models/c/src/math.c +++ b/infer/models/c/src/math.c @@ -6,7 +6,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ // modelling of math functions diff --git a/infer/models/c/src/wchar.c b/infer/models/c/src/wchar.c index 010ded968..35d4cfffa 100644 --- a/infer/models/c/src/wchar.c +++ b/infer/models/c/src/wchar.c @@ -6,7 +6,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ // modelling of wide character functions diff --git a/infer/models/c/src/wctype.c b/infer/models/c/src/wctype.c index 6315a63e0..6b2253fa3 100644 --- a/infer/models/c/src/wctype.c +++ b/infer/models/c/src/wctype.c @@ -6,7 +6,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ // modelling of wctype functions diff --git a/infer/models/c/src/xlib.c b/infer/models/c/src/xlib.c index aa7319e60..43e6cf755 100644 --- a/infer/models/c/src/xlib.c +++ b/infer/models/c/src/xlib.c @@ -6,7 +6,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ // Basic modelling of some xlib functions diff --git a/infer/models/cpp/src/shared_ptr.cpp b/infer/models/cpp/src/shared_ptr.cpp index 9ec6857eb..a4e0563b0 100644 --- a/infer/models/cpp/src/shared_ptr.cpp +++ b/infer/models/cpp/src/shared_ptr.cpp @@ -6,7 +6,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ // models for shared_ptr diff --git a/infer/models/java/src/com/facebook/infer/models/InferBuiltins.java b/infer/models/java/src/com/facebook/infer/models/InferBuiltins.java index 4ac86f899..f6df8ac47 100644 --- a/infer/models/java/src/com/facebook/infer/models/InferBuiltins.java +++ b/infer/models/java/src/com/facebook/infer/models/InferBuiltins.java @@ -6,7 +6,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package com.facebook.infer.models; diff --git a/infer/models/objc/src/NSAutoreleasePool.m b/infer/models/objc/src/NSAutoreleasePool.m index 570452102..4b968572c 100644 --- a/infer/models/objc/src/NSAutoreleasePool.m +++ b/infer/models/objc/src/NSAutoreleasePool.m @@ -1,11 +1,11 @@ - /* +/* * Copyright (c) 2014 - present Facebook, Inc. * All rights reserved. * * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #pragma clang diagnostic ignored "-Wprotocol" diff --git a/infer/models/objc/src/NSObject.m b/infer/models/objc/src/NSObject.m index a86e3b626..208dcea9f 100644 --- a/infer/models/objc/src/NSObject.m +++ b/infer/models/objc/src/NSObject.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #pragma clang diagnostic ignored "-Wprotocol" diff --git a/infer/src/backend/checkCopyright.ml b/infer/src/backend/checkCopyright.ml index 47b86c184..b3adba48b 100644 --- a/infer/src/backend/checkCopyright.ml +++ b/infer/src/backend/checkCopyright.ml @@ -11,6 +11,26 @@ module L = Logging module F = Format open Utils +type comment_style = + | Line of string (** line comments, eg "#" for shell *) + | Block of string * string * string (** block comments, eg ("(*", "*", "*)") for ocaml *) + +let comment_style_ocaml = Block("(*", "*", "*)") +let comment_style_c = Block("/*", "*", "*/") +let comment_style_shell = Line("#") + +let comment_styles = [ + comment_style_ocaml; + comment_style_c; + comment_style_shell; +] + +let lang_of_com_style style = + if style = comment_style_ocaml then "ocaml" + else if style = comment_style_c then "c" + else if style = comment_style_shell then "shell" + else "??unknown??" + (** If active, check copyright messages and exit. *) let active = Config.from_env_variable "INFER_CHECK_COPYRIGHT" @@ -26,35 +46,39 @@ let rec find_copyright_line lines n = match lines with if line_contains_copyright line then Some n else find_copyright_line lines' (n + 1) -let find_copyright_start lines_arr n check_hash = - let is_start line = - if check_hash then - not (string_is_prefix "#" line) - else - string_contains "(*" line - || - string_contains "/*" line in +let find_comment_start_and_style lines_arr n = + (* are we in a line comment? *) + let cur_line_comment = try + Some (list_find (function + | Line (s) when string_is_prefix s lines_arr.(n) -> true + | _ -> false) comment_styles) + with Not_found -> None in + let is_start line = match cur_line_comment with + | Some (Line (s)) -> if string_is_prefix s line then None else Some (Line (s)) + | _ -> try + Some (list_find (function + | Block(s, _, _) -> string_contains s line + | _ -> false) comment_styles) + with Not_found -> None in let i = ref (n - 1) in - let found = ref 0 in - while !i >= 0 && !found = 0 do - if is_start lines_arr.(!i) then found := !i + 1; - decr i + (* hacky fake line comment to avoid an option type *) + let found = ref (-1, Line(">>>>>>>>>>>")) in + while !i >= 0 && fst (!found) = -1 do + match is_start lines_arr.(!i) with + | Some style -> found := (!i, style); + | None -> decr i done; !found -let find_copyright_end lines_arr n check_hash = - let is_end line = - if check_hash then - not (string_is_prefix "#" line) - else - string_contains "*)" line - || - string_contains "*/" line in +let find_comment_end lines_arr n com_style = + let is_end line = match com_style with + | Line(s) -> not (string_is_prefix s line) + | Block(_, _, s) -> string_contains s line in let i = ref (n + 1) in let len = Array.length lines_arr in let found = ref (len - 1) in while !i < len && !found = len - 1 do - if is_end lines_arr.(!i) then found := !i - 1; + if is_end lines_arr.(!i) then found := !i; incr i done; !found @@ -68,7 +92,7 @@ let looks_like_copyright_message cstart cend lines_arr = if String.length lines_arr.(i) > max_len then ok := false done; !ok in - (cend - cstart) <= 10 && check_len () + cstart >= 0 && (cend - cstart) <= 10 && check_len () let contains_monoidics cstart cend lines_arr = let found = ref false in @@ -96,9 +120,17 @@ let get_fb_year cstart cend lines_arr = done; !found -let pp_copyright mono fb_year check_hash fmt _prefix = - let prefix = _prefix ^ (if check_hash then "#" else "*") in - let pp_line str = F.fprintf fmt "%s%s@." prefix str in +let pp_copyright mono fb_year com_style fmt _prefix = + let running_comment = match com_style with | Line s | Block (_, s, _) -> s in + let prefix = _prefix ^ running_comment in + let pp_line str = F.fprintf fmt "%s%s@\n" prefix str in + let pp_start () = match com_style with + | Line _ -> F.fprintf fmt "@\n"; + | Block (start, _, _) -> F.fprintf fmt "%s@\n" start in + let pp_end () = match com_style with + | Line _ -> F.fprintf fmt "@\n"; + | Block (_, _, finish) -> F.fprintf fmt "%s%s@\n" _prefix finish in + pp_start (); if mono then pp_line " Copyright (c) 2009 - 2013 Monoidics ltd."; pp_line (F.sprintf " Copyright (c) %d - present Facebook, Inc." fb_year); @@ -106,9 +138,10 @@ let pp_copyright mono fb_year check_hash fmt _prefix = pp_line ""; pp_line " This source code is licensed under the BSD style license found in the"; pp_line " LICENSE file in the root directory of this source tree. An additional grant"; - pp_line " of patent rights can be found in the PATENTS file in the same directory." + pp_line " of patent rights can be found in the PATENTS file in the same directory."; + pp_end () -let copyright_has_changed mono fb_year check_hash cstart cend lines_arr = +let copyright_has_changed mono fb_year com_style prefix cstart cend lines_arr = let old_copyright = let r = ref "" in for i = cstart to cend do @@ -116,18 +149,18 @@ let copyright_has_changed mono fb_year check_hash cstart cend lines_arr = done; !r in let new_copyright = - let pp fmt () = pp_copyright mono fb_year check_hash fmt "" in + let pp fmt () = pp_copyright mono fb_year com_style fmt prefix in Utils.pp_to_string pp () in old_copyright <> new_copyright -let update_file fname mono fb_year check_hash cstart cend lines_arr = +let update_file fname mono fb_year com_style prefix cstart cend lines_arr = try let cout = open_out fname in let fmt = F.formatter_of_out_channel cout in for i = 0 to cstart - 1 do F.fprintf fmt "%s@." lines_arr.(i) done; - pp_copyright mono fb_year check_hash fmt ""; + pp_copyright mono fb_year com_style fmt prefix; for i = cend + 1 to Array.length lines_arr - 1 do F.fprintf fmt "%s@\n" lines_arr.(i) done; @@ -166,10 +199,8 @@ let check_copyright () = let lines_arr = Array.of_list lines in let line = lines_arr.(n) in let len = String.length line in - let check_hash = string_is_prefix "#" line in - let cstart = find_copyright_start lines_arr n check_hash in - let cend = find_copyright_end lines_arr n check_hash in - let range = cend - cstart in + let (cstart, com_style) = find_comment_start_and_style lines_arr n in + let cend = find_comment_end lines_arr n com_style in if looks_like_copyright_message cstart cend lines_arr then begin let mono = contains_monoidics cstart cend lines_arr in @@ -177,17 +208,21 @@ let check_copyright () = | None -> L.stderr "Can't find fb year: %s@." fname | Some fb_year -> - if copyright_has_changed mono fb_year check_hash cstart cend lines_arr then + let prefix = "" in + if copyright_has_changed mono fb_year com_style prefix cstart cend lines_arr then begin - L.stderr "%s (start:%d n:%d end:%d len:%d range:%d mono:%b year:%d)@." - fname cstart n cend len range mono fb_year; + let range = cend - cstart in + let lang = lang_of_com_style com_style in + L.stdout "%s (start:%d n:%d end:%d len:%d range:%d lang:%s mono:%b year:%d)@." + fname cstart n cend len range lang mono fb_year; for i = cstart to cend do - L.stderr " %s@." lines_arr.(i) + L.stdout " %s@." lines_arr.(i) done; - L.stderr "-----@."; - L.stderr "%a" (pp_copyright mono fb_year check_hash) " "; + L.stdout "-----@."; + L.stdout " @[%a@]" (pp_copyright mono fb_year com_style) prefix; + L.flush_streams (); if update_files then - update_file fname mono fb_year check_hash cstart cend lines_arr + update_file fname mono fb_year com_style prefix cstart cend lines_arr end end else diff --git a/infer/src/backend/version.ml.in b/infer/src/backend/version.ml.in index 4d7666ec7..7f7e391bc 100644 --- a/infer/src/backend/version.ml.in +++ b/infer/src/backend/version.ml.in @@ -6,7 +6,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - *) +*) let major = @MAJOR@ let minor = @MINOR@ diff --git a/infer/src/checkers/immutableChecker.mli b/infer/src/checkers/immutableChecker.mli index a955c62db..0deb4bcfd 100644 --- a/infer/src/checkers/immutableChecker.mli +++ b/infer/src/checkers/immutableChecker.mli @@ -5,6 +5,6 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - *) +*) val callback_check_immutable_cast : Callbacks.proc_callback_t diff --git a/infer/src/checkers/repeatedCallsChecker.mli b/infer/src/checkers/repeatedCallsChecker.mli index 60827fc47..bd8474756 100644 --- a/infer/src/checkers/repeatedCallsChecker.mli +++ b/infer/src/checkers/repeatedCallsChecker.mli @@ -5,6 +5,6 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - *) +*) val callback_check_repeated_calls : Callbacks.proc_callback_t diff --git a/infer/src/clang/plugin/InferPlugin.cpp b/infer/src/clang/plugin/InferPlugin.cpp index 9bec933a9..b7f3b7fc0 100644 --- a/infer/src/clang/plugin/InferPlugin.cpp +++ b/infer/src/clang/plugin/InferPlugin.cpp @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #include "clang/Frontend/FrontendPluginRegistry.h" #include "clang/AST/ASTConsumer.h" diff --git a/infer/src/clang/plugin/test/test.cpp b/infer/src/clang/plugin/test/test.cpp index 78135cc57..acf24df17 100644 --- a/infer/src/clang/plugin/test/test.cpp +++ b/infer/src/clang/plugin/test/test.cpp @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int main() { return 0; } diff --git a/infer/tests/codetoanalyze/c/errors/arithmetic/array_out_of_bounds.c b/infer/tests/codetoanalyze/c/errors/arithmetic/array_out_of_bounds.c index ba7c16f84..1c6abcf7e 100644 --- a/infer/tests/codetoanalyze/c/errors/arithmetic/array_out_of_bounds.c +++ b/infer/tests/codetoanalyze/c/errors/arithmetic/array_out_of_bounds.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ void bound_error() { int a[7]; diff --git a/infer/tests/codetoanalyze/c/errors/arithmetic/divide_by_zero.c b/infer/tests/codetoanalyze/c/errors/arithmetic/divide_by_zero.c index 007b47a68..692c1ba73 100644 --- a/infer/tests/codetoanalyze/c/errors/arithmetic/divide_by_zero.c +++ b/infer/tests/codetoanalyze/c/errors/arithmetic/divide_by_zero.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int arith_divide_by_zero() { int x = 0; diff --git a/infer/tests/codetoanalyze/c/errors/initialization/initlistexpr.c b/infer/tests/codetoanalyze/c/errors/initialization/initlistexpr.c index a38bd1a59..cfda97a0e 100644 --- a/infer/tests/codetoanalyze/c/errors/initialization/initlistexpr.c +++ b/infer/tests/codetoanalyze/c/errors/initialization/initlistexpr.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int init_divide_by_zero() { int t[2][3][2] = {{{1,1},{2,2},{3,3}},{{4,4},{5,5},{1,0}}}; diff --git a/infer/tests/codetoanalyze/c/errors/lists/lists.c b/infer/tests/codetoanalyze/c/errors/lists/lists.c index 2e5890a98..2db724fed 100644 --- a/infer/tests/codetoanalyze/c/errors/lists/lists.c +++ b/infer/tests/codetoanalyze/c/errors/lists/lists.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ struct l2 { int b; struct l2 *a; diff --git a/infer/tests/codetoanalyze/c/errors/memory_leaks/test.c b/infer/tests/codetoanalyze/c/errors/memory_leaks/test.c index f5a1b4115..9a3105ad1 100644 --- a/infer/tests/codetoanalyze/c/errors/memory_leaks/test.c +++ b/infer/tests/codetoanalyze/c/errors/memory_leaks/test.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #include #include diff --git a/infer/tests/codetoanalyze/c/errors/null_dereference/angelism.c b/infer/tests/codetoanalyze/c/errors/null_dereference/angelism.c index 48f207077..9d2a2d719 100644 --- a/infer/tests/codetoanalyze/c/errors/null_dereference/angelism.c +++ b/infer/tests/codetoanalyze/c/errors/null_dereference/angelism.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #include diff --git a/infer/tests/codetoanalyze/c/errors/null_dereference/null_pointer_dereference.c b/infer/tests/codetoanalyze/c/errors/null_dereference/null_pointer_dereference.c index b60764a83..8db495c9f 100644 --- a/infer/tests/codetoanalyze/c/errors/null_dereference/null_pointer_dereference.c +++ b/infer/tests/codetoanalyze/c/errors/null_dereference/null_pointer_dereference.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #include diff --git a/infer/tests/codetoanalyze/c/errors/resource_leaks/leak.c b/infer/tests/codetoanalyze/c/errors/resource_leaks/leak.c index 95520b08a..50d778353 100644 --- a/infer/tests/codetoanalyze/c/errors/resource_leaks/leak.c +++ b/infer/tests/codetoanalyze/c/errors/resource_leaks/leak.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #include #include diff --git a/infer/tests/codetoanalyze/c/frontend/arithmetic/compound_assignment.c b/infer/tests/codetoanalyze/c/frontend/arithmetic/compound_assignment.c index eabfdc5b9..68f6ff80f 100644 --- a/infer/tests/codetoanalyze/c/frontend/arithmetic/compound_assignment.c +++ b/infer/tests/codetoanalyze/c/frontend/arithmetic/compound_assignment.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int main() { double x = 1.0; diff --git a/infer/tests/codetoanalyze/c/frontend/arithmetic/int_const.c b/infer/tests/codetoanalyze/c/frontend/arithmetic/int_const.c index 921075766..2a413c76a 100644 --- a/infer/tests/codetoanalyze/c/frontend/arithmetic/int_const.c +++ b/infer/tests/codetoanalyze/c/frontend/arithmetic/int_const.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int main() { diff --git a/infer/tests/codetoanalyze/c/frontend/arithmetic/plus_expr.c b/infer/tests/codetoanalyze/c/frontend/arithmetic/plus_expr.c index 5b229d74e..0047d01e0 100644 --- a/infer/tests/codetoanalyze/c/frontend/arithmetic/plus_expr.c +++ b/infer/tests/codetoanalyze/c/frontend/arithmetic/plus_expr.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int main() { int x = 2; diff --git a/infer/tests/codetoanalyze/c/frontend/arithmetic/unary.c b/infer/tests/codetoanalyze/c/frontend/arithmetic/unary.c index c69a8bd83..8132b3702 100644 --- a/infer/tests/codetoanalyze/c/frontend/arithmetic/unary.c +++ b/infer/tests/codetoanalyze/c/frontend/arithmetic/unary.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int main() { int x = 1; diff --git a/infer/tests/codetoanalyze/c/frontend/booleans/bool_example.c b/infer/tests/codetoanalyze/c/frontend/booleans/bool_example.c index c8ed31ada..069ea966d 100644 --- a/infer/tests/codetoanalyze/c/frontend/booleans/bool_example.c +++ b/infer/tests/codetoanalyze/c/frontend/booleans/bool_example.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #include diff --git a/infer/tests/codetoanalyze/c/frontend/booleans/condition_as_param.c b/infer/tests/codetoanalyze/c/frontend/booleans/condition_as_param.c index 78b096e93..1a4a6b7c4 100644 --- a/infer/tests/codetoanalyze/c/frontend/booleans/condition_as_param.c +++ b/infer/tests/codetoanalyze/c/frontend/booleans/condition_as_param.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ void check(int x) { } diff --git a/infer/tests/codetoanalyze/c/frontend/c_prototype/prototype.c b/infer/tests/codetoanalyze/c/frontend/c_prototype/prototype.c index 916c3366d..b9cfaecfc 100644 --- a/infer/tests/codetoanalyze/c/frontend/c_prototype/prototype.c +++ b/infer/tests/codetoanalyze/c/frontend/c_prototype/prototype.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ /* A simple example of a function prototype allowing the function diff --git a/infer/tests/codetoanalyze/c/frontend/comma/comma.c b/infer/tests/codetoanalyze/c/frontend/comma/comma.c index 87b4bde98..1feb5924c 100644 --- a/infer/tests/codetoanalyze/c/frontend/comma/comma.c +++ b/infer/tests/codetoanalyze/c/frontend/comma/comma.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int comma_1() { int a = 9, b = 7; diff --git a/infer/tests/codetoanalyze/c/frontend/conditional_operator/array_access.c b/infer/tests/codetoanalyze/c/frontend/conditional_operator/array_access.c index 2eca2a5e9..6ea953334 100644 --- a/infer/tests/codetoanalyze/c/frontend/conditional_operator/array_access.c +++ b/infer/tests/codetoanalyze/c/frontend/conditional_operator/array_access.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ void dereference_in_array_access(int **p) { if (p[0]); diff --git a/infer/tests/codetoanalyze/c/frontend/conditional_operator/assert_example.c b/infer/tests/codetoanalyze/c/frontend/conditional_operator/assert_example.c index e652d1600..7f4bfb148 100644 --- a/infer/tests/codetoanalyze/c/frontend/conditional_operator/assert_example.c +++ b/infer/tests/codetoanalyze/c/frontend/conditional_operator/assert_example.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #include diff --git a/infer/tests/codetoanalyze/c/frontend/conditional_operator/binary_operator.c b/infer/tests/codetoanalyze/c/frontend/conditional_operator/binary_operator.c index 84e5e9610..9500e1a7b 100644 --- a/infer/tests/codetoanalyze/c/frontend/conditional_operator/binary_operator.c +++ b/infer/tests/codetoanalyze/c/frontend/conditional_operator/binary_operator.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ void binop_with_side_effects(int z) { // simple assignment diff --git a/infer/tests/codetoanalyze/c/frontend/conditional_operator/cond2.c b/infer/tests/codetoanalyze/c/frontend/conditional_operator/cond2.c index 63cfb3d8a..642a678da 100644 --- a/infer/tests/codetoanalyze/c/frontend/conditional_operator/cond2.c +++ b/infer/tests/codetoanalyze/c/frontend/conditional_operator/cond2.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int foo() { diff --git a/infer/tests/codetoanalyze/c/frontend/conditional_operator/conditional_operator.c b/infer/tests/codetoanalyze/c/frontend/conditional_operator/conditional_operator.c index 0b05ac723..5f18cfea5 100644 --- a/infer/tests/codetoanalyze/c/frontend/conditional_operator/conditional_operator.c +++ b/infer/tests/codetoanalyze/c/frontend/conditional_operator/conditional_operator.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #include diff --git a/infer/tests/codetoanalyze/c/frontend/conditional_operator/function_call.c b/infer/tests/codetoanalyze/c/frontend/conditional_operator/function_call.c index 514bf3767..ce402162f 100644 --- a/infer/tests/codetoanalyze/c/frontend/conditional_operator/function_call.c +++ b/infer/tests/codetoanalyze/c/frontend/conditional_operator/function_call.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ void some_f(int, int, int); diff --git a/infer/tests/codetoanalyze/c/frontend/conditional_operator/if_short_circuit.c b/infer/tests/codetoanalyze/c/frontend/conditional_operator/if_short_circuit.c index 75288ff30..992734da0 100644 --- a/infer/tests/codetoanalyze/c/frontend/conditional_operator/if_short_circuit.c +++ b/infer/tests/codetoanalyze/c/frontend/conditional_operator/if_short_circuit.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #include diff --git a/infer/tests/codetoanalyze/c/frontend/conditional_operator/int_negation.c b/infer/tests/codetoanalyze/c/frontend/conditional_operator/int_negation.c index 534bb9795..1da7187e1 100644 --- a/infer/tests/codetoanalyze/c/frontend/conditional_operator/int_negation.c +++ b/infer/tests/codetoanalyze/c/frontend/conditional_operator/int_negation.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int identity(int x) { return x; diff --git a/infer/tests/codetoanalyze/c/frontend/conditional_operator/member_access.c b/infer/tests/codetoanalyze/c/frontend/conditional_operator/member_access.c index a5dfd3b0d..c7e9d89c8 100644 --- a/infer/tests/codetoanalyze/c/frontend/conditional_operator/member_access.c +++ b/infer/tests/codetoanalyze/c/frontend/conditional_operator/member_access.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ struct s { int field; diff --git a/infer/tests/codetoanalyze/c/frontend/conditional_operator/preincrement.c b/infer/tests/codetoanalyze/c/frontend/conditional_operator/preincrement.c index df9fd48ca..fbf3daa59 100644 --- a/infer/tests/codetoanalyze/c/frontend/conditional_operator/preincrement.c +++ b/infer/tests/codetoanalyze/c/frontend/conditional_operator/preincrement.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ struct s { int x; diff --git a/infer/tests/codetoanalyze/c/frontend/conditional_operator/unary_operator.c b/infer/tests/codetoanalyze/c/frontend/conditional_operator/unary_operator.c index ffe6c8b1a..57fea63ed 100644 --- a/infer/tests/codetoanalyze/c/frontend/conditional_operator/unary_operator.c +++ b/infer/tests/codetoanalyze/c/frontend/conditional_operator/unary_operator.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ void dereference_ifthenelse(int *p) { int x; diff --git a/infer/tests/codetoanalyze/c/frontend/enumeration/enum.c b/infer/tests/codetoanalyze/c/frontend/enumeration/enum.c index 295b7b8a1..46e7ba74e 100644 --- a/infer/tests/codetoanalyze/c/frontend/enumeration/enum.c +++ b/infer/tests/codetoanalyze/c/frontend/enumeration/enum.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ enum week{ sunday, monday, tuesday, wednesday=0, thursday, friday, saturday}; diff --git a/infer/tests/codetoanalyze/c/frontend/gotostmt/goto_ex.c b/infer/tests/codetoanalyze/c/frontend/gotostmt/goto_ex.c index 2b38fca36..aa1765eb6 100644 --- a/infer/tests/codetoanalyze/c/frontend/gotostmt/goto_ex.c +++ b/infer/tests/codetoanalyze/c/frontend/gotostmt/goto_ex.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/c/frontend/initialization/array_initlistexpr.c b/infer/tests/codetoanalyze/c/frontend/initialization/array_initlistexpr.c index e826d66d0..b983bb0d6 100644 --- a/infer/tests/codetoanalyze/c/frontend/initialization/array_initlistexpr.c +++ b/infer/tests/codetoanalyze/c/frontend/initialization/array_initlistexpr.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int main() { int z; diff --git a/infer/tests/codetoanalyze/c/frontend/initialization/struct_initlistexpr.c b/infer/tests/codetoanalyze/c/frontend/initialization/struct_initlistexpr.c index c3511f294..f432ac4a0 100644 --- a/infer/tests/codetoanalyze/c/frontend/initialization/struct_initlistexpr.c +++ b/infer/tests/codetoanalyze/c/frontend/initialization/struct_initlistexpr.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ typedef struct Point { int x; diff --git a/infer/tests/codetoanalyze/c/frontend/loops/do_while.c b/infer/tests/codetoanalyze/c/frontend/loops/do_while.c index e3c162c97..9796fe313 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/do_while.c +++ b/infer/tests/codetoanalyze/c/frontend/loops/do_while.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int main () { int a = 10; diff --git a/infer/tests/codetoanalyze/c/frontend/loops/do_while_condition_side_effects.c b/infer/tests/codetoanalyze/c/frontend/loops/do_while_condition_side_effects.c index f68338cdc..a78cd68e2 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/do_while_condition_side_effects.c +++ b/infer/tests/codetoanalyze/c/frontend/loops/do_while_condition_side_effects.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int main () { int a = 10; diff --git a/infer/tests/codetoanalyze/c/frontend/loops/do_while_nested.c b/infer/tests/codetoanalyze/c/frontend/loops/do_while_nested.c index 8dff4bc42..d6d257e2f 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/do_while_nested.c +++ b/infer/tests/codetoanalyze/c/frontend/loops/do_while_nested.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int main () { int a = 10; diff --git a/infer/tests/codetoanalyze/c/frontend/loops/for_condition_side_effects.c b/infer/tests/codetoanalyze/c/frontend/loops/for_condition_side_effects.c index b6b7bfe9e..d58e7ed42 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/for_condition_side_effects.c +++ b/infer/tests/codetoanalyze/c/frontend/loops/for_condition_side_effects.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int main() { int j = 0; diff --git a/infer/tests/codetoanalyze/c/frontend/loops/for_nested.c b/infer/tests/codetoanalyze/c/frontend/loops/for_nested.c index d94eadb3a..3d4f2ec3e 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/for_nested.c +++ b/infer/tests/codetoanalyze/c/frontend/loops/for_nested.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int main() { int k = 0; diff --git a/infer/tests/codetoanalyze/c/frontend/loops/for_no_condition.c b/infer/tests/codetoanalyze/c/frontend/loops/for_no_condition.c index 54f9a1666..5546d1805 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/for_no_condition.c +++ b/infer/tests/codetoanalyze/c/frontend/loops/for_no_condition.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int main() { int j = 0; diff --git a/infer/tests/codetoanalyze/c/frontend/loops/for_no_condition_incr.c b/infer/tests/codetoanalyze/c/frontend/loops/for_no_condition_incr.c index cb021c448..6345923d7 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/for_no_condition_incr.c +++ b/infer/tests/codetoanalyze/c/frontend/loops/for_no_condition_incr.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int main() { int j = 0; diff --git a/infer/tests/codetoanalyze/c/frontend/loops/for_no_condition_incr_body.c b/infer/tests/codetoanalyze/c/frontend/loops/for_no_condition_incr_body.c index c64a84141..7c74c2bdc 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/for_no_condition_incr_body.c +++ b/infer/tests/codetoanalyze/c/frontend/loops/for_no_condition_incr_body.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int main() { int d = 0; diff --git a/infer/tests/codetoanalyze/c/frontend/loops/for_only_body.c b/infer/tests/codetoanalyze/c/frontend/loops/for_only_body.c index 15b401864..e58ce1c62 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/for_only_body.c +++ b/infer/tests/codetoanalyze/c/frontend/loops/for_only_body.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int main() { int i = 0; diff --git a/infer/tests/codetoanalyze/c/frontend/loops/for_simple.c b/infer/tests/codetoanalyze/c/frontend/loops/for_simple.c index 0ded0ef30..ad323f6ca 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/for_simple.c +++ b/infer/tests/codetoanalyze/c/frontend/loops/for_simple.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int main() { int j = 0; diff --git a/infer/tests/codetoanalyze/c/frontend/loops/for_while_nested.c b/infer/tests/codetoanalyze/c/frontend/loops/for_while_nested.c index a3142e493..d6305d417 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/for_while_nested.c +++ b/infer/tests/codetoanalyze/c/frontend/loops/for_while_nested.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int main() { int k = 0; diff --git a/infer/tests/codetoanalyze/c/frontend/loops/while.c b/infer/tests/codetoanalyze/c/frontend/loops/while.c index 5649526f0..d1e52f3de 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/while.c +++ b/infer/tests/codetoanalyze/c/frontend/loops/while.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int main() { int i = 0; diff --git a/infer/tests/codetoanalyze/c/frontend/loops/while_condition_side_effects.c b/infer/tests/codetoanalyze/c/frontend/loops/while_condition_side_effects.c index 536ae3b86..3e7ee0354 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/while_condition_side_effects.c +++ b/infer/tests/codetoanalyze/c/frontend/loops/while_condition_side_effects.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int main() { int i = 0; diff --git a/infer/tests/codetoanalyze/c/frontend/loops/while_nested.c b/infer/tests/codetoanalyze/c/frontend/loops/while_nested.c index 411cb900b..60e265ec8 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/while_nested.c +++ b/infer/tests/codetoanalyze/c/frontend/loops/while_nested.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int main() { int i = 0; diff --git a/infer/tests/codetoanalyze/c/frontend/loops/while_no_body.c b/infer/tests/codetoanalyze/c/frontend/loops/while_no_body.c index efc081c56..4e38cc910 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/while_no_body.c +++ b/infer/tests/codetoanalyze/c/frontend/loops/while_no_body.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int main(){ while(1) {} diff --git a/infer/tests/codetoanalyze/c/frontend/loops/while_with_continue_and_break.c b/infer/tests/codetoanalyze/c/frontend/loops/while_with_continue_and_break.c index 50ecccfad..416f5bae1 100644 --- a/infer/tests/codetoanalyze/c/frontend/loops/while_with_continue_and_break.c +++ b/infer/tests/codetoanalyze/c/frontend/loops/while_with_continue_and_break.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int main() { int x = 0; diff --git a/infer/tests/codetoanalyze/c/frontend/nestedoperators/assign_in_condition.c b/infer/tests/codetoanalyze/c/frontend/nestedoperators/assign_in_condition.c index 7f9a1928a..91a00a28d 100644 --- a/infer/tests/codetoanalyze/c/frontend/nestedoperators/assign_in_condition.c +++ b/infer/tests/codetoanalyze/c/frontend/nestedoperators/assign_in_condition.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int foo(int *p) { if((*p = 0)) { diff --git a/infer/tests/codetoanalyze/c/frontend/nestedoperators/gnuexpr.c b/infer/tests/codetoanalyze/c/frontend/nestedoperators/gnuexpr.c index 107647ac8..e6d4bdb75 100644 --- a/infer/tests/codetoanalyze/c/frontend/nestedoperators/gnuexpr.c +++ b/infer/tests/codetoanalyze/c/frontend/nestedoperators/gnuexpr.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int main() { int y = 3; diff --git a/infer/tests/codetoanalyze/c/frontend/nestedoperators/nestedassignment.c b/infer/tests/codetoanalyze/c/frontend/nestedoperators/nestedassignment.c index 2554f9896..f7b8416a3 100644 --- a/infer/tests/codetoanalyze/c/frontend/nestedoperators/nestedassignment.c +++ b/infer/tests/codetoanalyze/c/frontend/nestedoperators/nestedassignment.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int main() { double x = 1.0; diff --git a/infer/tests/codetoanalyze/c/frontend/nestedoperators/union.c b/infer/tests/codetoanalyze/c/frontend/nestedoperators/union.c index b43df13d9..a1fc737f5 100644 --- a/infer/tests/codetoanalyze/c/frontend/nestedoperators/union.c +++ b/infer/tests/codetoanalyze/c/frontend/nestedoperators/union.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #include diff --git a/infer/tests/codetoanalyze/c/frontend/switchstmt/switch.c b/infer/tests/codetoanalyze/c/frontend/switchstmt/switch.c index 8312677a6..78cfa04e1 100644 --- a/infer/tests/codetoanalyze/c/frontend/switchstmt/switch.c +++ b/infer/tests/codetoanalyze/c/frontend/switchstmt/switch.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/cpp/frontend/namespace/namespace.cpp b/infer/tests/codetoanalyze/cpp/frontend/namespace/namespace.cpp index bcbe4fd75..a44b17d59 100644 --- a/infer/tests/codetoanalyze/cpp/frontend/namespace/namespace.cpp +++ b/infer/tests/codetoanalyze/cpp/frontend/namespace/namespace.cpp @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #include using namespace std; diff --git a/infer/tests/codetoanalyze/java/eradicate/LibraryCalls.java b/infer/tests/codetoanalyze/java/eradicate/LibraryCalls.java index 3a60d1806..49f88d70a 100644 --- a/infer/tests/codetoanalyze/java/eradicate/LibraryCalls.java +++ b/infer/tests/codetoanalyze/java/eradicate/LibraryCalls.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package codetoanalyze.java.eradicate; import java.lang.ref.PhantomReference; diff --git a/infer/tests/codetoanalyze/java/eradicate/SuppressedFieldNotInitializedExample.java b/infer/tests/codetoanalyze/java/eradicate/SuppressedFieldNotInitializedExample.java index c66f81137..513b51b85 100644 --- a/infer/tests/codetoanalyze/java/eradicate/SuppressedFieldNotInitializedExample.java +++ b/infer/tests/codetoanalyze/java/eradicate/SuppressedFieldNotInitializedExample.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package codetoanalyze.java.eradicate; import java.lang.annotation.ElementType; diff --git a/infer/tests/codetoanalyze/java/infer/AutoGenerated.java b/infer/tests/codetoanalyze/java/infer/AutoGenerated.java index 1965781bd..a682865fc 100644 --- a/infer/tests/codetoanalyze/java/infer/AutoGenerated.java +++ b/infer/tests/codetoanalyze/java/infer/AutoGenerated.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package codetoanalyze.java.infer; diff --git a/infer/tests/codetoanalyze/java/infer/Builtins.java b/infer/tests/codetoanalyze/java/infer/Builtins.java index ffc309afa..db7c6d07a 100644 --- a/infer/tests/codetoanalyze/java/infer/Builtins.java +++ b/infer/tests/codetoanalyze/java/infer/Builtins.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package codetoanalyze.java.infer; diff --git a/infer/tests/codetoanalyze/java/infer/HashMapExample.java b/infer/tests/codetoanalyze/java/infer/HashMapExample.java index 68f0462cc..73873fd32 100644 --- a/infer/tests/codetoanalyze/java/infer/HashMapExample.java +++ b/infer/tests/codetoanalyze/java/infer/HashMapExample.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package codetoanalyze.java.infer; diff --git a/infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java b/infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java index 7c5162bcf..96e5ed415 100644 --- a/infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java +++ b/infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package codetoanalyze.java.infer; diff --git a/infer/tests/codetoanalyze/objc/errors/category_procdesc/EOCPerson.h b/infer/tests/codetoanalyze/objc/errors/category_procdesc/EOCPerson.h index d2761c4cf..fa9e0b5fa 100644 --- a/infer/tests/codetoanalyze/objc/errors/category_procdesc/EOCPerson.h +++ b/infer/tests/codetoanalyze/objc/errors/category_procdesc/EOCPerson.h @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ // Splitting EOCPerson into categories #import diff --git a/infer/tests/codetoanalyze/objc/errors/category_procdesc/EOCPerson.m b/infer/tests/codetoanalyze/objc/errors/category_procdesc/EOCPerson.m index 508651e4d..424d9b9c1 100644 --- a/infer/tests/codetoanalyze/objc/errors/category_procdesc/EOCPerson.m +++ b/infer/tests/codetoanalyze/objc/errors/category_procdesc/EOCPerson.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import "EOCPerson.h" diff --git a/infer/tests/codetoanalyze/objc/errors/category_procdesc/main.c b/infer/tests/codetoanalyze/objc/errors/category_procdesc/main.c index d3a651311..64f94dc1c 100644 --- a/infer/tests/codetoanalyze/objc/errors/category_procdesc/main.c +++ b/infer/tests/codetoanalyze/objc/errors/category_procdesc/main.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import "EOCPerson.h" diff --git a/infer/tests/codetoanalyze/objc/errors/field_superclass/A.h b/infer/tests/codetoanalyze/objc/errors/field_superclass/A.h index 070dc15ce..9580ff46b 100644 --- a/infer/tests/codetoanalyze/objc/errors/field_superclass/A.h +++ b/infer/tests/codetoanalyze/objc/errors/field_superclass/A.h @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/errors/field_superclass/B.h b/infer/tests/codetoanalyze/objc/errors/field_superclass/B.h index 9fc7d8002..e574228b8 100644 --- a/infer/tests/codetoanalyze/objc/errors/field_superclass/B.h +++ b/infer/tests/codetoanalyze/objc/errors/field_superclass/B.h @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import "A.h" diff --git a/infer/tests/codetoanalyze/objc/errors/field_superclass/B.m b/infer/tests/codetoanalyze/objc/errors/field_superclass/B.m index 92fce0c9c..3126b2f5a 100644 --- a/infer/tests/codetoanalyze/objc/errors/field_superclass/B.m +++ b/infer/tests/codetoanalyze/objc/errors/field_superclass/B.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import "B.h" diff --git a/infer/tests/codetoanalyze/objc/errors/field_superclass/SuperExample.m b/infer/tests/codetoanalyze/objc/errors/field_superclass/SuperExample.m index f8c1df210..dc1d84b8a 100644 --- a/infer/tests/codetoanalyze/objc/errors/field_superclass/SuperExample.m +++ b/infer/tests/codetoanalyze/objc/errors/field_superclass/SuperExample.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/errors/field_superclass/field.c b/infer/tests/codetoanalyze/objc/errors/field_superclass/field.c index 2792ecef6..accbd4840 100644 --- a/infer/tests/codetoanalyze/objc/errors/field_superclass/field.c +++ b/infer/tests/codetoanalyze/objc/errors/field_superclass/field.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #include "B.h" diff --git a/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/ArcExample.m b/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/ArcExample.m index 80ef572fe..94623d4e3 100644 --- a/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/ArcExample.m +++ b/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/ArcExample.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import #import diff --git a/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/AutoreleaseExample.m b/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/AutoreleaseExample.m index 27ae4c11e..d228a61a8 100644 --- a/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/AutoreleaseExample.m +++ b/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/AutoreleaseExample.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import #import diff --git a/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/MemoryLeakExample.h b/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/MemoryLeakExample.h index 966cfa7d5..e770ed5e0 100644 --- a/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/MemoryLeakExample.h +++ b/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/MemoryLeakExample.h @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import #import diff --git a/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/MemoryLeakExample.m b/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/MemoryLeakExample.m index 4f7bbd59b..878838e78 100644 --- a/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/MemoryLeakExample.m +++ b/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/MemoryLeakExample.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import "MemoryLeakExample.h" #import diff --git a/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/NSStringInitWithBytesNoCopyExample.m b/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/NSStringInitWithBytesNoCopyExample.m index b0fe9b650..19c0788b3 100644 --- a/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/NSStringInitWithBytesNoCopyExample.m +++ b/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/NSStringInitWithBytesNoCopyExample.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import #import diff --git a/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/RetainReleaseExample.m b/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/RetainReleaseExample.m index 8f0a13520..0b1cf6619 100644 --- a/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/RetainReleaseExample.m +++ b/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/RetainReleaseExample.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/RetainReleaseExample2.m b/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/RetainReleaseExample2.m index 5acc167f9..cb32cf043 100644 --- a/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/RetainReleaseExample2.m +++ b/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/RetainReleaseExample2.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/RetainReleaseExampleBucketing.m b/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/RetainReleaseExampleBucketing.m index d8f7d7c33..42eff8bca 100644 --- a/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/RetainReleaseExampleBucketing.m +++ b/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/RetainReleaseExampleBucketing.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/TollBridgeExample.m b/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/TollBridgeExample.m index a99006375..8834de697 100644 --- a/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/TollBridgeExample.m +++ b/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/TollBridgeExample.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import #import diff --git a/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/retain_cycle.m b/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/retain_cycle.m index 40c54c0fd..184a29184 100644 --- a/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/retain_cycle.m +++ b/infer/tests/codetoanalyze/objc/errors/memory_leaks_benchmark/retain_cycle.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/errors/npe/Fraction.m b/infer/tests/codetoanalyze/objc/errors/npe/Fraction.m index 41d721fc5..64499c154 100644 --- a/infer/tests/codetoanalyze/objc/errors/npe/Fraction.m +++ b/infer/tests/codetoanalyze/objc/errors/npe/Fraction.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/errors/npe/NPD_core_foundation.h b/infer/tests/codetoanalyze/objc/errors/npe/NPD_core_foundation.h index a4949026c..6aedd2b8e 100644 --- a/infer/tests/codetoanalyze/objc/errors/npe/NPD_core_foundation.h +++ b/infer/tests/codetoanalyze/objc/errors/npe/NPD_core_foundation.h @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import #import diff --git a/infer/tests/codetoanalyze/objc/errors/npe/NPD_core_foundation.m b/infer/tests/codetoanalyze/objc/errors/npe/NPD_core_foundation.m index 2c43f1f12..a957090a0 100644 --- a/infer/tests/codetoanalyze/objc/errors/npe/NPD_core_foundation.m +++ b/infer/tests/codetoanalyze/objc/errors/npe/NPD_core_foundation.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import "NPD_core_foundation.h" #import diff --git a/infer/tests/codetoanalyze/objc/errors/npe/Nonnull_attribute_example.m b/infer/tests/codetoanalyze/objc/errors/npe/Nonnull_attribute_example.m index bb95c8cd2..81f95c58e 100644 --- a/infer/tests/codetoanalyze/objc/errors/npe/Nonnull_attribute_example.m +++ b/infer/tests/codetoanalyze/objc/errors/npe/Nonnull_attribute_example.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/errors/npe/UpdateDict.m b/infer/tests/codetoanalyze/objc/errors/npe/UpdateDict.m index e913eb475..b63f576bf 100644 --- a/infer/tests/codetoanalyze/objc/errors/npe/UpdateDict.m +++ b/infer/tests/codetoanalyze/objc/errors/npe/UpdateDict.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/errors/npe/block.m b/infer/tests/codetoanalyze/objc/errors/npe/block.m index 915d1a8d9..5c1bd2b41 100644 --- a/infer/tests/codetoanalyze/objc/errors/npe/block.m +++ b/infer/tests/codetoanalyze/objc/errors/npe/block.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/errors/npe/nil_in_array_literal.m b/infer/tests/codetoanalyze/objc/errors/npe/nil_in_array_literal.m index 39f5d9676..d54ecabe6 100644 --- a/infer/tests/codetoanalyze/objc/errors/npe/nil_in_array_literal.m +++ b/infer/tests/codetoanalyze/objc/errors/npe/nil_in_array_literal.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/errors/npe/nil_param.m b/infer/tests/codetoanalyze/objc/errors/npe/nil_param.m index b996b4a08..7b0e11790 100644 --- a/infer/tests/codetoanalyze/objc/errors/npe/nil_param.m +++ b/infer/tests/codetoanalyze/objc/errors/npe/nil_param.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/errors/npe/npe_malloc.m b/infer/tests/codetoanalyze/objc/errors/npe/npe_malloc.m index 51fdae810..9b3a24f15 100644 --- a/infer/tests/codetoanalyze/objc/errors/npe/npe_malloc.m +++ b/infer/tests/codetoanalyze/objc/errors/npe/npe_malloc.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import #import diff --git a/infer/tests/codetoanalyze/objc/errors/npe/npe_self.m b/infer/tests/codetoanalyze/objc/errors/npe/npe_self.m index 615adcab4..65e6d6909 100644 --- a/infer/tests/codetoanalyze/objc/errors/npe/npe_self.m +++ b/infer/tests/codetoanalyze/objc/errors/npe/npe_self.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import #import diff --git a/infer/tests/codetoanalyze/objc/errors/npe/null_returned_by_method.m b/infer/tests/codetoanalyze/objc/errors/npe/null_returned_by_method.m index 60404a64e..bb0ce5a3b 100644 --- a/infer/tests/codetoanalyze/objc/errors/npe/null_returned_by_method.m +++ b/infer/tests/codetoanalyze/objc/errors/npe/null_returned_by_method.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/errors/procdescs/MethodCall.h b/infer/tests/codetoanalyze/objc/errors/procdescs/MethodCall.h index b76810889..376cfa5e3 100644 --- a/infer/tests/codetoanalyze/objc/errors/procdescs/MethodCall.h +++ b/infer/tests/codetoanalyze/objc/errors/procdescs/MethodCall.h @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/errors/procdescs/MethodCall.m b/infer/tests/codetoanalyze/objc/errors/procdescs/MethodCall.m index fb7450233..4ecc79fc9 100644 --- a/infer/tests/codetoanalyze/objc/errors/procdescs/MethodCall.m +++ b/infer/tests/codetoanalyze/objc/errors/procdescs/MethodCall.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import "MethodCall.h" diff --git a/infer/tests/codetoanalyze/objc/errors/procdescs/main.c b/infer/tests/codetoanalyze/objc/errors/procdescs/main.c index 27784dbb1..ecabfff2e 100644 --- a/infer/tests/codetoanalyze/objc/errors/procdescs/main.c +++ b/infer/tests/codetoanalyze/objc/errors/procdescs/main.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #include "MethodCall.h" diff --git a/infer/tests/codetoanalyze/objc/errors/property/IvarExample.h b/infer/tests/codetoanalyze/objc/errors/property/IvarExample.h index 007787fd2..4386fa39c 100644 --- a/infer/tests/codetoanalyze/objc/errors/property/IvarExample.h +++ b/infer/tests/codetoanalyze/objc/errors/property/IvarExample.h @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/errors/property/main.c b/infer/tests/codetoanalyze/objc/errors/property/main.c index 06f2441d9..7af1600a5 100644 --- a/infer/tests/codetoanalyze/objc/errors/property/main.c +++ b/infer/tests/codetoanalyze/objc/errors/property/main.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #include "IvarExample.h" diff --git a/infer/tests/codetoanalyze/objc/errors/protocol_procdesc/Bicycle.h b/infer/tests/codetoanalyze/objc/errors/protocol_procdesc/Bicycle.h index a8d0e9dbe..acd927679 100644 --- a/infer/tests/codetoanalyze/objc/errors/protocol_procdesc/Bicycle.h +++ b/infer/tests/codetoanalyze/objc/errors/protocol_procdesc/Bicycle.h @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import "StreetVehicle.h" diff --git a/infer/tests/codetoanalyze/objc/errors/protocol_procdesc/Bicycle.m b/infer/tests/codetoanalyze/objc/errors/protocol_procdesc/Bicycle.m index 3add2b7fb..ad8604c9e 100644 --- a/infer/tests/codetoanalyze/objc/errors/protocol_procdesc/Bicycle.m +++ b/infer/tests/codetoanalyze/objc/errors/protocol_procdesc/Bicycle.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import "Bicycle.h" #import diff --git a/infer/tests/codetoanalyze/objc/errors/protocol_procdesc/StreetVehicle.h b/infer/tests/codetoanalyze/objc/errors/protocol_procdesc/StreetVehicle.h index 283cf69ed..eeee39e6c 100644 --- a/infer/tests/codetoanalyze/objc/errors/protocol_procdesc/StreetVehicle.h +++ b/infer/tests/codetoanalyze/objc/errors/protocol_procdesc/StreetVehicle.h @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/errors/protocol_procdesc/main.c b/infer/tests/codetoanalyze/objc/errors/protocol_procdesc/main.c index cbf3bff3e..d83da91ca 100644 --- a/infer/tests/codetoanalyze/objc/errors/protocol_procdesc/main.c +++ b/infer/tests/codetoanalyze/objc/errors/protocol_procdesc/main.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #include "Bicycle.h" diff --git a/infer/tests/codetoanalyze/objc/errors/resource_leaks/ResourceLeakExample.m b/infer/tests/codetoanalyze/objc/errors/resource_leaks/ResourceLeakExample.m index 2aa72894f..03b19cff6 100644 --- a/infer/tests/codetoanalyze/objc/errors/resource_leaks/ResourceLeakExample.m +++ b/infer/tests/codetoanalyze/objc/errors/resource_leaks/ResourceLeakExample.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import #include diff --git a/infer/tests/codetoanalyze/objc/errors/returnstmt/return_npe_test.m b/infer/tests/codetoanalyze/objc/errors/returnstmt/return_npe_test.m index 91ca2f9fa..8dbd5554c 100644 --- a/infer/tests/codetoanalyze/objc/errors/returnstmt/return_npe_test.m +++ b/infer/tests/codetoanalyze/objc/errors/returnstmt/return_npe_test.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/errors/variadic_methods/premature_nil_termination.m b/infer/tests/codetoanalyze/objc/errors/variadic_methods/premature_nil_termination.m index 932ce1c2b..0255ad5a2 100644 --- a/infer/tests/codetoanalyze/objc/errors/variadic_methods/premature_nil_termination.m +++ b/infer/tests/codetoanalyze/objc/errors/variadic_methods/premature_nil_termination.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/assertions/NSAssert_example.m b/infer/tests/codetoanalyze/objc/frontend/assertions/NSAssert_example.m index 2dbd7cd64..00a00cecf 100644 --- a/infer/tests/codetoanalyze/objc/frontend/assertions/NSAssert_example.m +++ b/infer/tests/codetoanalyze/objc/frontend/assertions/NSAssert_example.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/block/BlockVar.h b/infer/tests/codetoanalyze/objc/frontend/block/BlockVar.h index 95d705927..108d9429b 100644 --- a/infer/tests/codetoanalyze/objc/frontend/block/BlockVar.h +++ b/infer/tests/codetoanalyze/objc/frontend/block/BlockVar.h @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/block/BlockVar.m b/infer/tests/codetoanalyze/objc/frontend/block/BlockVar.m index d090df9bb..fb60d41d1 100644 --- a/infer/tests/codetoanalyze/objc/frontend/block/BlockVar.m +++ b/infer/tests/codetoanalyze/objc/frontend/block/BlockVar.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import "BlockVar.h" diff --git a/infer/tests/codetoanalyze/objc/frontend/block/block.m b/infer/tests/codetoanalyze/objc/frontend/block/block.m index 8a65b34e3..33b6d26fb 100644 --- a/infer/tests/codetoanalyze/objc/frontend/block/block.m +++ b/infer/tests/codetoanalyze/objc/frontend/block/block.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int main1 (int y) { diff --git a/infer/tests/codetoanalyze/objc/frontend/block/block_no_args.m b/infer/tests/codetoanalyze/objc/frontend/block/block_no_args.m index 5d0615cb6..0c03b775d 100644 --- a/infer/tests/codetoanalyze/objc/frontend/block/block_no_args.m +++ b/infer/tests/codetoanalyze/objc/frontend/block/block_no_args.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/block/block_release.m b/infer/tests/codetoanalyze/objc/frontend/block/block_release.m index c7179d3f9..3c517d13a 100644 --- a/infer/tests/codetoanalyze/objc/frontend/block/block_release.m +++ b/infer/tests/codetoanalyze/objc/frontend/block/block_release.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import #import diff --git a/infer/tests/codetoanalyze/objc/frontend/block/dispatch.m b/infer/tests/codetoanalyze/objc/frontend/block/dispatch.m index d15f7e106..e42f62956 100644 --- a/infer/tests/codetoanalyze/objc/frontend/block/dispatch.m +++ b/infer/tests/codetoanalyze/objc/frontend/block/dispatch.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/block/dispatch_examples.m b/infer/tests/codetoanalyze/objc/frontend/block/dispatch_examples.m index 1aa861d3c..da4964589 100644 --- a/infer/tests/codetoanalyze/objc/frontend/block/dispatch_examples.m +++ b/infer/tests/codetoanalyze/objc/frontend/block/dispatch_examples.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/block/main.m b/infer/tests/codetoanalyze/objc/frontend/block/main.m index 84a19b423..bc8b199a6 100644 --- a/infer/tests/codetoanalyze/objc/frontend/block/main.m +++ b/infer/tests/codetoanalyze/objc/frontend/block/main.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import "BlockVar.m" diff --git a/infer/tests/codetoanalyze/objc/frontend/block/retain_cycle.m b/infer/tests/codetoanalyze/objc/frontend/block/retain_cycle.m index 2c64f52a8..edab1fa6e 100644 --- a/infer/tests/codetoanalyze/objc/frontend/block/retain_cycle.m +++ b/infer/tests/codetoanalyze/objc/frontend/block/retain_cycle.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/block/static.m b/infer/tests/codetoanalyze/objc/frontend/block/static.m index 9b64f50c3..bb04f533c 100644 --- a/infer/tests/codetoanalyze/objc/frontend/block/static.m +++ b/infer/tests/codetoanalyze/objc/frontend/block/static.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/boxing/Boxing.h b/infer/tests/codetoanalyze/objc/frontend/boxing/Boxing.h index 0274063d8..7d319820a 100644 --- a/infer/tests/codetoanalyze/objc/frontend/boxing/Boxing.h +++ b/infer/tests/codetoanalyze/objc/frontend/boxing/Boxing.h @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/boxing/Boxing.m b/infer/tests/codetoanalyze/objc/frontend/boxing/Boxing.m index 9e1900899..fef3f58ab 100644 --- a/infer/tests/codetoanalyze/objc/frontend/boxing/Boxing.m +++ b/infer/tests/codetoanalyze/objc/frontend/boxing/Boxing.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import "Boxing.h" diff --git a/infer/tests/codetoanalyze/objc/frontend/boxing/array.m b/infer/tests/codetoanalyze/objc/frontend/boxing/array.m index 235dc4b6f..c0d796195 100644 --- a/infer/tests/codetoanalyze/objc/frontend/boxing/array.m +++ b/infer/tests/codetoanalyze/objc/frontend/boxing/array.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/boxing/array_literal.c b/infer/tests/codetoanalyze/objc/frontend/boxing/array_literal.c index 9afaf9dcd..4fac720fa 100644 --- a/infer/tests/codetoanalyze/objc/frontend/boxing/array_literal.c +++ b/infer/tests/codetoanalyze/objc/frontend/boxing/array_literal.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/boxing/dict_literal.c b/infer/tests/codetoanalyze/objc/frontend/boxing/dict_literal.c index 5c4e7dbe7..5803d06a1 100644 --- a/infer/tests/codetoanalyze/objc/frontend/boxing/dict_literal.c +++ b/infer/tests/codetoanalyze/objc/frontend/boxing/dict_literal.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ diff --git a/infer/tests/codetoanalyze/objc/frontend/boxing/string_literal.c b/infer/tests/codetoanalyze/objc/frontend/boxing/string_literal.c index 4e3b3b2bb..676615422 100644 --- a/infer/tests/codetoanalyze/objc/frontend/boxing/string_literal.c +++ b/infer/tests/codetoanalyze/objc/frontend/boxing/string_literal.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/conditional_operation/ConditionalOperation.m b/infer/tests/codetoanalyze/objc/frontend/conditional_operation/ConditionalOperation.m index 3a7b72d43..ff459a0d1 100644 --- a/infer/tests/codetoanalyze/objc/frontend/conditional_operation/ConditionalOperation.m +++ b/infer/tests/codetoanalyze/objc/frontend/conditional_operation/ConditionalOperation.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/exceptions/ExceptionExample.m b/infer/tests/codetoanalyze/objc/frontend/exceptions/ExceptionExample.m index 2c75a5394..871213eef 100644 --- a/infer/tests/codetoanalyze/objc/frontend/exceptions/ExceptionExample.m +++ b/infer/tests/codetoanalyze/objc/frontend/exceptions/ExceptionExample.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/predefined_expr/PredefinedExprExample.m b/infer/tests/codetoanalyze/objc/frontend/predefined_expr/PredefinedExprExample.m index b8652aa79..92b2aceca 100644 --- a/infer/tests/codetoanalyze/objc/frontend/predefined_expr/PredefinedExprExample.m +++ b/infer/tests/codetoanalyze/objc/frontend/predefined_expr/PredefinedExprExample.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/property/Car.h b/infer/tests/codetoanalyze/objc/frontend/property/Car.h index 58f15dcc0..348c76a68 100644 --- a/infer/tests/codetoanalyze/objc/frontend/property/Car.h +++ b/infer/tests/codetoanalyze/objc/frontend/property/Car.h @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/property/Car.m b/infer/tests/codetoanalyze/objc/frontend/property/Car.m index 12763deda..53646df22 100644 --- a/infer/tests/codetoanalyze/objc/frontend/property/Car.m +++ b/infer/tests/codetoanalyze/objc/frontend/property/Car.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import "Car.h" diff --git a/infer/tests/codetoanalyze/objc/frontend/property/PropertyAttributes.m b/infer/tests/codetoanalyze/objc/frontend/property/PropertyAttributes.m index 586f5404a..175ed440a 100644 --- a/infer/tests/codetoanalyze/objc/frontend/property/PropertyAttributes.m +++ b/infer/tests/codetoanalyze/objc/frontend/property/PropertyAttributes.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/property/PropertyCustomAccessor.m b/infer/tests/codetoanalyze/objc/frontend/property/PropertyCustomAccessor.m index 295710f4a..eeff8bda9 100644 --- a/infer/tests/codetoanalyze/objc/frontend/property/PropertyCustomAccessor.m +++ b/infer/tests/codetoanalyze/objc/frontend/property/PropertyCustomAccessor.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/property/PropertyImplSetter.h b/infer/tests/codetoanalyze/objc/frontend/property/PropertyImplSetter.h index c889e09b0..37da7f78f 100644 --- a/infer/tests/codetoanalyze/objc/frontend/property/PropertyImplSetter.h +++ b/infer/tests/codetoanalyze/objc/frontend/property/PropertyImplSetter.h @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/property/PropertyImplSetter.m b/infer/tests/codetoanalyze/objc/frontend/property/PropertyImplSetter.m index 9b64dc377..d96f319d4 100644 --- a/infer/tests/codetoanalyze/objc/frontend/property/PropertyImplSetter.m +++ b/infer/tests/codetoanalyze/objc/frontend/property/PropertyImplSetter.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import "PropertyImplSetter.h" diff --git a/infer/tests/codetoanalyze/objc/frontend/property/Property_getter.m b/infer/tests/codetoanalyze/objc/frontend/property/Property_getter.m index e92d8eb5d..bdd6d2c20 100644 --- a/infer/tests/codetoanalyze/objc/frontend/property/Property_getter.m +++ b/infer/tests/codetoanalyze/objc/frontend/property/Property_getter.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/property/aclass.m b/infer/tests/codetoanalyze/objc/frontend/property/aclass.m index e527bdbb6..845a154ed 100644 --- a/infer/tests/codetoanalyze/objc/frontend/property/aclass.m +++ b/infer/tests/codetoanalyze/objc/frontend/property/aclass.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/property/main_car.m b/infer/tests/codetoanalyze/objc/frontend/property/main_car.m index 1e5865ef5..5a7867421 100644 --- a/infer/tests/codetoanalyze/objc/frontend/property/main_car.m +++ b/infer/tests/codetoanalyze/objc/frontend/property/main_car.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import "Car.h" diff --git a/infer/tests/codetoanalyze/objc/frontend/property_in_protocol/MyProtocol.h b/infer/tests/codetoanalyze/objc/frontend/property_in_protocol/MyProtocol.h index a855c3ae3..4a0aee221 100644 --- a/infer/tests/codetoanalyze/objc/frontend/property_in_protocol/MyProtocol.h +++ b/infer/tests/codetoanalyze/objc/frontend/property_in_protocol/MyProtocol.h @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/property_in_protocol/Test.h b/infer/tests/codetoanalyze/objc/frontend/property_in_protocol/Test.h index dbd21b973..6512bcd28 100644 --- a/infer/tests/codetoanalyze/objc/frontend/property_in_protocol/Test.h +++ b/infer/tests/codetoanalyze/objc/frontend/property_in_protocol/Test.h @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import #import "MyProtocol.h" diff --git a/infer/tests/codetoanalyze/objc/frontend/property_in_protocol/Test.m b/infer/tests/codetoanalyze/objc/frontend/property_in_protocol/Test.m index 453119db3..f05c2bc3d 100644 --- a/infer/tests/codetoanalyze/objc/frontend/property_in_protocol/Test.m +++ b/infer/tests/codetoanalyze/objc/frontend/property_in_protocol/Test.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import "Test.h" diff --git a/infer/tests/codetoanalyze/objc/frontend/protocol/protocol.m b/infer/tests/codetoanalyze/objc/frontend/protocol/protocol.m index 2de9bcf7e..73f454312 100644 --- a/infer/tests/codetoanalyze/objc/frontend/protocol/protocol.m +++ b/infer/tests/codetoanalyze/objc/frontend/protocol/protocol.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/returnstmt/void_return.m b/infer/tests/codetoanalyze/objc/frontend/returnstmt/void_return.m index 11438f982..281634fec 100644 --- a/infer/tests/codetoanalyze/objc/frontend/returnstmt/void_return.m +++ b/infer/tests/codetoanalyze/objc/frontend/returnstmt/void_return.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/self_static/Self.m b/infer/tests/codetoanalyze/objc/frontend/self_static/Self.m index 28262b3e5..cb6b12c96 100644 --- a/infer/tests/codetoanalyze/objc/frontend/self_static/Self.m +++ b/infer/tests/codetoanalyze/objc/frontend/self_static/Self.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/self_static/static.m b/infer/tests/codetoanalyze/objc/frontend/self_static/static.m index 749c39cd6..e845ae57b 100644 --- a/infer/tests/codetoanalyze/objc/frontend/self_static/static.m +++ b/infer/tests/codetoanalyze/objc/frontend/self_static/static.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/strings/global_string_literal.m b/infer/tests/codetoanalyze/objc/frontend/strings/global_string_literal.m index a63fcbf49..784a89e54 100644 --- a/infer/tests/codetoanalyze/objc/frontend/strings/global_string_literal.m +++ b/infer/tests/codetoanalyze/objc/frontend/strings/global_string_literal.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/strings/string_literal.m b/infer/tests/codetoanalyze/objc/frontend/strings/string_literal.m index 595412f7e..e28144729 100644 --- a/infer/tests/codetoanalyze/objc/frontend/strings/string_literal.m +++ b/infer/tests/codetoanalyze/objc/frontend/strings/string_literal.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/subclass/A.h b/infer/tests/codetoanalyze/objc/frontend/subclass/A.h index e50efbecd..90c5eab56 100644 --- a/infer/tests/codetoanalyze/objc/frontend/subclass/A.h +++ b/infer/tests/codetoanalyze/objc/frontend/subclass/A.h @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/subclass/A.m b/infer/tests/codetoanalyze/objc/frontend/subclass/A.m index f9d9acaf2..3c8ea59c2 100644 --- a/infer/tests/codetoanalyze/objc/frontend/subclass/A.m +++ b/infer/tests/codetoanalyze/objc/frontend/subclass/A.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/subclass/MyClass.h b/infer/tests/codetoanalyze/objc/frontend/subclass/MyClass.h index 7b3b245ef..85f01b29b 100644 --- a/infer/tests/codetoanalyze/objc/frontend/subclass/MyClass.h +++ b/infer/tests/codetoanalyze/objc/frontend/subclass/MyClass.h @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/subclass/MyClass.m b/infer/tests/codetoanalyze/objc/frontend/subclass/MyClass.m index 686b20ed0..f403547ff 100644 --- a/infer/tests/codetoanalyze/objc/frontend/subclass/MyClass.m +++ b/infer/tests/codetoanalyze/objc/frontend/subclass/MyClass.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import "MyClass.h" diff --git a/infer/tests/codetoanalyze/objc/frontend/subclass/MySubClass.h b/infer/tests/codetoanalyze/objc/frontend/subclass/MySubClass.h index ffb295e46..d6d8500e6 100644 --- a/infer/tests/codetoanalyze/objc/frontend/subclass/MySubClass.h +++ b/infer/tests/codetoanalyze/objc/frontend/subclass/MySubClass.h @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import "MyClass.h" diff --git a/infer/tests/codetoanalyze/objc/frontend/subclass/MySubClass.m b/infer/tests/codetoanalyze/objc/frontend/subclass/MySubClass.m index e729ecabb..90e2a8099 100644 --- a/infer/tests/codetoanalyze/objc/frontend/subclass/MySubClass.m +++ b/infer/tests/codetoanalyze/objc/frontend/subclass/MySubClass.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import "MySubClass.h" diff --git a/infer/tests/codetoanalyze/objc/frontend/subclass/main.c b/infer/tests/codetoanalyze/objc/frontend/subclass/main.c index a7f212842..a940d5da3 100644 --- a/infer/tests/codetoanalyze/objc/frontend/subclass/main.c +++ b/infer/tests/codetoanalyze/objc/frontend/subclass/main.c @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import "A.h" diff --git a/infer/tests/codetoanalyze/objc/frontend/types/attributes.m b/infer/tests/codetoanalyze/objc/frontend/types/attributes.m index e72c8431a..8ef71ff04 100644 --- a/infer/tests/codetoanalyze/objc/frontend/types/attributes.m +++ b/infer/tests/codetoanalyze/objc/frontend/types/attributes.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/types/testloop.m b/infer/tests/codetoanalyze/objc/frontend/types/testloop.m index 3e4f46498..79ffbee96 100644 --- a/infer/tests/codetoanalyze/objc/frontend/types/testloop.m +++ b/infer/tests/codetoanalyze/objc/frontend/types/testloop.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/types/void_call.m b/infer/tests/codetoanalyze/objc/frontend/types/void_call.m index bcc3921a1..b8a2934fb 100644 --- a/infer/tests/codetoanalyze/objc/frontend/types/void_call.m +++ b/infer/tests/codetoanalyze/objc/frontend/types/void_call.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/vardecl/aclass.m b/infer/tests/codetoanalyze/objc/frontend/vardecl/aclass.m index 3d4c9f101..c23054e28 100644 --- a/infer/tests/codetoanalyze/objc/frontend/vardecl/aclass.m +++ b/infer/tests/codetoanalyze/objc/frontend/vardecl/aclass.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/vardecl/aclass_2.m b/infer/tests/codetoanalyze/objc/frontend/vardecl/aclass_2.m index 35d524539..40f9458cf 100644 --- a/infer/tests/codetoanalyze/objc/frontend/vardecl/aclass_2.m +++ b/infer/tests/codetoanalyze/objc/frontend/vardecl/aclass_2.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/vardecl/initlist.m b/infer/tests/codetoanalyze/objc/frontend/vardecl/initlist.m index e1847f5f0..c89f9a8a9 100644 --- a/infer/tests/codetoanalyze/objc/frontend/vardecl/initlist.m +++ b/infer/tests/codetoanalyze/objc/frontend/vardecl/initlist.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/codetoanalyze/objc/frontend/vardecl/last_af.m b/infer/tests/codetoanalyze/objc/frontend/vardecl/last_af.m index e1b5cf73d..2fa01f68d 100644 --- a/infer/tests/codetoanalyze/objc/frontend/vardecl/last_af.m +++ b/infer/tests/codetoanalyze/objc/frontend/vardecl/last_af.m @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ int main() { int a = 0, b = a + 2; diff --git a/infer/tests/codetoanalyze/objcpp/frontend/funcoverloading/af_test.mm b/infer/tests/codetoanalyze/objcpp/frontend/funcoverloading/af_test.mm index 6fde482ba..ac95b5679 100644 --- a/infer/tests/codetoanalyze/objcpp/frontend/funcoverloading/af_test.mm +++ b/infer/tests/codetoanalyze/objcpp/frontend/funcoverloading/af_test.mm @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ #import diff --git a/infer/tests/endtoend/c/AngelismTest.java b/infer/tests/endtoend/c/AngelismTest.java index 60390c902..fa4a5df8a 100644 --- a/infer/tests/endtoend/c/AngelismTest.java +++ b/infer/tests/endtoend/c/AngelismTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.c; diff --git a/infer/tests/endtoend/c/ArrayOutOfBoundsTest.java b/infer/tests/endtoend/c/ArrayOutOfBoundsTest.java index 865f4f7f8..a2036b415 100644 --- a/infer/tests/endtoend/c/ArrayOutOfBoundsTest.java +++ b/infer/tests/endtoend/c/ArrayOutOfBoundsTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.c; diff --git a/infer/tests/endtoend/c/AssertTest.java b/infer/tests/endtoend/c/AssertTest.java index 78f80958c..70a9c64f8 100644 --- a/infer/tests/endtoend/c/AssertTest.java +++ b/infer/tests/endtoend/c/AssertTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.c; diff --git a/infer/tests/endtoend/c/DivideByZeroTest.java b/infer/tests/endtoend/c/DivideByZeroTest.java index 698621d93..a928e6b93 100644 --- a/infer/tests/endtoend/c/DivideByZeroTest.java +++ b/infer/tests/endtoend/c/DivideByZeroTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.c; diff --git a/infer/tests/endtoend/c/InitListExprTest.java b/infer/tests/endtoend/c/InitListExprTest.java index c42b05ae1..d8d066757 100644 --- a/infer/tests/endtoend/c/InitListExprTest.java +++ b/infer/tests/endtoend/c/InitListExprTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.c; diff --git a/infer/tests/endtoend/c/ListsTest.java b/infer/tests/endtoend/c/ListsTest.java index 11cd71542..9c2ba1e45 100644 --- a/infer/tests/endtoend/c/ListsTest.java +++ b/infer/tests/endtoend/c/ListsTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.c; diff --git a/infer/tests/endtoend/c/LocalVarsTest.java b/infer/tests/endtoend/c/LocalVarsTest.java index d9f0d123d..dc32c15f9 100644 --- a/infer/tests/endtoend/c/LocalVarsTest.java +++ b/infer/tests/endtoend/c/LocalVarsTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.c; diff --git a/infer/tests/endtoend/c/MemoryLeakTest.java b/infer/tests/endtoend/c/MemoryLeakTest.java index e59562965..8e5cb8f91 100644 --- a/infer/tests/endtoend/c/MemoryLeakTest.java +++ b/infer/tests/endtoend/c/MemoryLeakTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.c; diff --git a/infer/tests/endtoend/c/NullDereferenceTest.java b/infer/tests/endtoend/c/NullDereferenceTest.java index 5998f2de8..43e56f6ac 100644 --- a/infer/tests/endtoend/c/NullDereferenceTest.java +++ b/infer/tests/endtoend/c/NullDereferenceTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.c; diff --git a/infer/tests/endtoend/c/NullDereferenceTest2.java b/infer/tests/endtoend/c/NullDereferenceTest2.java index 6795a88a9..564ddd03a 100644 --- a/infer/tests/endtoend/c/NullDereferenceTest2.java +++ b/infer/tests/endtoend/c/NullDereferenceTest2.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.c; diff --git a/infer/tests/endtoend/c/ResourceLeakTest.java b/infer/tests/endtoend/c/ResourceLeakTest.java index 27e047ace..56488c310 100644 --- a/infer/tests/endtoend/c/ResourceLeakTest.java +++ b/infer/tests/endtoend/c/ResourceLeakTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.c; diff --git a/infer/tests/endtoend/c/SentinelTest.java b/infer/tests/endtoend/c/SentinelTest.java index 0ec266898..b50777a70 100644 --- a/infer/tests/endtoend/c/SentinelTest.java +++ b/infer/tests/endtoend/c/SentinelTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.c; diff --git a/infer/tests/endtoend/java/eradicate/ActivityFieldNotInitializedTest.java b/infer/tests/endtoend/java/eradicate/ActivityFieldNotInitializedTest.java index 7225a218c..9adf56007 100644 --- a/infer/tests/endtoend/java/eradicate/ActivityFieldNotInitializedTest.java +++ b/infer/tests/endtoend/java/eradicate/ActivityFieldNotInitializedTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.java.eradicate; diff --git a/infer/tests/endtoend/java/eradicate/LibraryCallsTest.java b/infer/tests/endtoend/java/eradicate/LibraryCallsTest.java index 18c450f72..36f255d58 100644 --- a/infer/tests/endtoend/java/eradicate/LibraryCallsTest.java +++ b/infer/tests/endtoend/java/eradicate/LibraryCallsTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.java.eradicate; diff --git a/infer/tests/endtoend/java/eradicate/SuppressedFieldNotInitializedTest.java b/infer/tests/endtoend/java/eradicate/SuppressedFieldNotInitializedTest.java index 27b364a41..76118806c 100644 --- a/infer/tests/endtoend/java/eradicate/SuppressedFieldNotInitializedTest.java +++ b/infer/tests/endtoend/java/eradicate/SuppressedFieldNotInitializedTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.java.eradicate; diff --git a/infer/tests/endtoend/java/infer/AnalysisStopsTest.java b/infer/tests/endtoend/java/infer/AnalysisStopsTest.java index e945b5035..c3aaee666 100644 --- a/infer/tests/endtoend/java/infer/AnalysisStopsTest.java +++ b/infer/tests/endtoend/java/infer/AnalysisStopsTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.java.infer; diff --git a/infer/tests/endtoend/java/infer/AutoGeneratedTest.java b/infer/tests/endtoend/java/infer/AutoGeneratedTest.java index 3cd37ee0f..662861771 100644 --- a/infer/tests/endtoend/java/infer/AutoGeneratedTest.java +++ b/infer/tests/endtoend/java/infer/AutoGeneratedTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.java.infer; diff --git a/infer/tests/endtoend/java/infer/BuiltinsTest.java b/infer/tests/endtoend/java/infer/BuiltinsTest.java index fb484994d..366868c26 100644 --- a/infer/tests/endtoend/java/infer/BuiltinsTest.java +++ b/infer/tests/endtoend/java/infer/BuiltinsTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.java.infer; diff --git a/infer/tests/endtoend/java/infer/HashMapModelTest.java b/infer/tests/endtoend/java/infer/HashMapModelTest.java index da2df724e..64540e85a 100644 --- a/infer/tests/endtoend/java/infer/HashMapModelTest.java +++ b/infer/tests/endtoend/java/infer/HashMapModelTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.java.infer; diff --git a/infer/tests/endtoend/java/infer/NullPointerExceptionTest.java b/infer/tests/endtoend/java/infer/NullPointerExceptionTest.java index 8e74912e0..e54fbe403 100644 --- a/infer/tests/endtoend/java/infer/NullPointerExceptionTest.java +++ b/infer/tests/endtoend/java/infer/NullPointerExceptionTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.java.infer; diff --git a/infer/tests/endtoend/objc/AutoreleaseTest.java b/infer/tests/endtoend/objc/AutoreleaseTest.java index d81b85b3e..cf6adabae 100644 --- a/infer/tests/endtoend/objc/AutoreleaseTest.java +++ b/infer/tests/endtoend/objc/AutoreleaseTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/BlockTest.java b/infer/tests/endtoend/objc/BlockTest.java index 61bf048c6..b88d6385d 100644 --- a/infer/tests/endtoend/objc/BlockTest.java +++ b/infer/tests/endtoend/objc/BlockTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/CategoryProcdescTest.java b/infer/tests/endtoend/objc/CategoryProcdescTest.java index 9d3c41ba4..b100277b2 100644 --- a/infer/tests/endtoend/objc/CategoryProcdescTest.java +++ b/infer/tests/endtoend/objc/CategoryProcdescTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/DispatchTest.java b/infer/tests/endtoend/objc/DispatchTest.java index 5f5c74c50..d8c60ad98 100644 --- a/infer/tests/endtoend/objc/DispatchTest.java +++ b/infer/tests/endtoend/objc/DispatchTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/FieldSuperclassTest.java b/infer/tests/endtoend/objc/FieldSuperclassTest.java index db1afa3e6..596a1c96f 100644 --- a/infer/tests/endtoend/objc/FieldSuperclassTest.java +++ b/infer/tests/endtoend/objc/FieldSuperclassTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/MemoryLeakBucketingArcTest.java b/infer/tests/endtoend/objc/MemoryLeakBucketingArcTest.java index b3768c90c..75ca5ad78 100644 --- a/infer/tests/endtoend/objc/MemoryLeakBucketingArcTest.java +++ b/infer/tests/endtoend/objc/MemoryLeakBucketingArcTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/MemoryLeakBucketingTest.java b/infer/tests/endtoend/objc/MemoryLeakBucketingTest.java index e7b7d7cfb..e470a6cad 100644 --- a/infer/tests/endtoend/objc/MemoryLeakBucketingTest.java +++ b/infer/tests/endtoend/objc/MemoryLeakBucketingTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/MemoryLeakTest.java b/infer/tests/endtoend/objc/MemoryLeakTest.java index 104830bf3..2939c9c13 100644 --- a/infer/tests/endtoend/objc/MemoryLeakTest.java +++ b/infer/tests/endtoend/objc/MemoryLeakTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/MemoryLeaksFromModelsTest.java b/infer/tests/endtoend/objc/MemoryLeaksFromModelsTest.java index 94741789b..20c7137e2 100644 --- a/infer/tests/endtoend/objc/MemoryLeaksFromModelsTest.java +++ b/infer/tests/endtoend/objc/MemoryLeaksFromModelsTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/NPDCoreFoundationClassTest.java b/infer/tests/endtoend/objc/NPDCoreFoundationClassTest.java index 37256f53c..75b194685 100644 --- a/infer/tests/endtoend/objc/NPDCoreFoundationClassTest.java +++ b/infer/tests/endtoend/objc/NPDCoreFoundationClassTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/NPEArrayLiteralTest.java b/infer/tests/endtoend/objc/NPEArrayLiteralTest.java index 46c90d50b..161514289 100644 --- a/infer/tests/endtoend/objc/NPEArrayLiteralTest.java +++ b/infer/tests/endtoend/objc/NPEArrayLiteralTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/NPEMallocTest.java b/infer/tests/endtoend/objc/NPEMallocTest.java index 9a1e504e8..e2f322e6a 100644 --- a/infer/tests/endtoend/objc/NPEMallocTest.java +++ b/infer/tests/endtoend/objc/NPEMallocTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/NPESelfTest.java b/infer/tests/endtoend/objc/NPESelfTest.java index f4ad967f5..777277acb 100644 --- a/infer/tests/endtoend/objc/NPESelfTest.java +++ b/infer/tests/endtoend/objc/NPESelfTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/NSAssertTest.java b/infer/tests/endtoend/objc/NSAssertTest.java index 883092627..1558498f8 100644 --- a/infer/tests/endtoend/objc/NSAssertTest.java +++ b/infer/tests/endtoend/objc/NSAssertTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/NSMakeCollectableTest.java b/infer/tests/endtoend/objc/NSMakeCollectableTest.java index a6cf1a96b..8f0419296 100644 --- a/infer/tests/endtoend/objc/NSMakeCollectableTest.java +++ b/infer/tests/endtoend/objc/NSMakeCollectableTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/NilParamDerefObjCClassTest.java b/infer/tests/endtoend/objc/NilParamDerefObjCClassTest.java index 4db01ab21..b4e9d44c4 100644 --- a/infer/tests/endtoend/objc/NilParamDerefObjCClassTest.java +++ b/infer/tests/endtoend/objc/NilParamDerefObjCClassTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/NonnullAttributeTest.java b/infer/tests/endtoend/objc/NonnullAttributeTest.java index 017780e4b..143f1c457 100644 --- a/infer/tests/endtoend/objc/NonnullAttributeTest.java +++ b/infer/tests/endtoend/objc/NonnullAttributeTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/NullDerefObjCBlockTest.java b/infer/tests/endtoend/objc/NullDerefObjCBlockTest.java index 041799908..d44531269 100644 --- a/infer/tests/endtoend/objc/NullDerefObjCBlockTest.java +++ b/infer/tests/endtoend/objc/NullDerefObjCBlockTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/NullDerefObjCClassTest.java b/infer/tests/endtoend/objc/NullDerefObjCClassTest.java index bef525ff0..91867f15d 100644 --- a/infer/tests/endtoend/objc/NullDerefObjCClassTest.java +++ b/infer/tests/endtoend/objc/NullDerefObjCClassTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/NullReturnedByMethodTest.java b/infer/tests/endtoend/objc/NullReturnedByMethodTest.java index 208656301..2d933ace2 100644 --- a/infer/tests/endtoend/objc/NullReturnedByMethodTest.java +++ b/infer/tests/endtoend/objc/NullReturnedByMethodTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/PrematureNilTerminationTest.java b/infer/tests/endtoend/objc/PrematureNilTerminationTest.java index 8bcf0c8e1..a13001b8b 100644 --- a/infer/tests/endtoend/objc/PrematureNilTerminationTest.java +++ b/infer/tests/endtoend/objc/PrematureNilTerminationTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/ProcdescTest.java b/infer/tests/endtoend/objc/ProcdescTest.java index aa3de61dd..494dc7b43 100644 --- a/infer/tests/endtoend/objc/ProcdescTest.java +++ b/infer/tests/endtoend/objc/ProcdescTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/PropertyMemoryLeakTest.java b/infer/tests/endtoend/objc/PropertyMemoryLeakTest.java index 683a96584..4e676c18d 100644 --- a/infer/tests/endtoend/objc/PropertyMemoryLeakTest.java +++ b/infer/tests/endtoend/objc/PropertyMemoryLeakTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/PropertyTest.java b/infer/tests/endtoend/objc/PropertyTest.java index fdfd5be86..40ca2e160 100644 --- a/infer/tests/endtoend/objc/PropertyTest.java +++ b/infer/tests/endtoend/objc/PropertyTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/ProtocolProcdescTest.java b/infer/tests/endtoend/objc/ProtocolProcdescTest.java index 8707391d4..7e044fa9b 100644 --- a/infer/tests/endtoend/objc/ProtocolProcdescTest.java +++ b/infer/tests/endtoend/objc/ProtocolProcdescTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/ResourceLeakTest.java b/infer/tests/endtoend/objc/ResourceLeakTest.java index 6a6d5e8e2..5aa88bdfb 100644 --- a/infer/tests/endtoend/objc/ResourceLeakTest.java +++ b/infer/tests/endtoend/objc/ResourceLeakTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/RetainCycle2Test.java b/infer/tests/endtoend/objc/RetainCycle2Test.java index 0ef42d92e..e41c6ae7a 100644 --- a/infer/tests/endtoend/objc/RetainCycle2Test.java +++ b/infer/tests/endtoend/objc/RetainCycle2Test.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/RetainCycleTest.java b/infer/tests/endtoend/objc/RetainCycleTest.java index 84c4c5bb3..a3dbd5fbc 100644 --- a/infer/tests/endtoend/objc/RetainCycleTest.java +++ b/infer/tests/endtoend/objc/RetainCycleTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/RetainreleaseTest.java b/infer/tests/endtoend/objc/RetainreleaseTest.java index 3c6a30935..4a9648f00 100644 --- a/infer/tests/endtoend/objc/RetainreleaseTest.java +++ b/infer/tests/endtoend/objc/RetainreleaseTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/ReturnTest.java b/infer/tests/endtoend/objc/ReturnTest.java index 3d6707b6e..1f80be1d0 100644 --- a/infer/tests/endtoend/objc/ReturnTest.java +++ b/infer/tests/endtoend/objc/ReturnTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/SuperTest.java b/infer/tests/endtoend/objc/SuperTest.java index c5444083b..679e4b94f 100644 --- a/infer/tests/endtoend/objc/SuperTest.java +++ b/infer/tests/endtoend/objc/SuperTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/TollBridgeTest.java b/infer/tests/endtoend/objc/TollBridgeTest.java index 7216c1d0e..3e6b5d48d 100644 --- a/infer/tests/endtoend/objc/TollBridgeTest.java +++ b/infer/tests/endtoend/objc/TollBridgeTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/endtoend/objc/UpdateDictNPETest.java b/infer/tests/endtoend/objc/UpdateDictNPETest.java index 0473d9ed7..f04fd09d3 100644 --- a/infer/tests/endtoend/objc/UpdateDictNPETest.java +++ b/infer/tests/endtoend/objc/UpdateDictNPETest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package endtoend.objc; diff --git a/infer/tests/frontend/c/ArithmeticExpTest.java b/infer/tests/frontend/c/ArithmeticExpTest.java index eed386fc8..de99db982 100644 --- a/infer/tests/frontend/c/ArithmeticExpTest.java +++ b/infer/tests/frontend/c/ArithmeticExpTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.c; diff --git a/infer/tests/frontend/c/BoolTest.java b/infer/tests/frontend/c/BoolTest.java index 0d9d572c6..47c386886 100644 --- a/infer/tests/frontend/c/BoolTest.java +++ b/infer/tests/frontend/c/BoolTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.c; diff --git a/infer/tests/frontend/c/CommaOperatorTest.java b/infer/tests/frontend/c/CommaOperatorTest.java index 6403fbba0..2893314dd 100644 --- a/infer/tests/frontend/c/CommaOperatorTest.java +++ b/infer/tests/frontend/c/CommaOperatorTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.c; diff --git a/infer/tests/frontend/c/ConditionalOperatorTest.java b/infer/tests/frontend/c/ConditionalOperatorTest.java index ca1a9ffb9..38ef7ec88 100644 --- a/infer/tests/frontend/c/ConditionalOperatorTest.java +++ b/infer/tests/frontend/c/ConditionalOperatorTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.c; diff --git a/infer/tests/frontend/c/EnumerationTest.java b/infer/tests/frontend/c/EnumerationTest.java index 207fbb66d..67c7d8552 100644 --- a/infer/tests/frontend/c/EnumerationTest.java +++ b/infer/tests/frontend/c/EnumerationTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.c; diff --git a/infer/tests/frontend/c/GnuexprTest.java b/infer/tests/frontend/c/GnuexprTest.java index c062bcab5..1f0c97117 100644 --- a/infer/tests/frontend/c/GnuexprTest.java +++ b/infer/tests/frontend/c/GnuexprTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.c; diff --git a/infer/tests/frontend/c/GotoStmtLabelStmtTest.java b/infer/tests/frontend/c/GotoStmtLabelStmtTest.java index e95932a4e..9ba3a4de3 100644 --- a/infer/tests/frontend/c/GotoStmtLabelStmtTest.java +++ b/infer/tests/frontend/c/GotoStmtLabelStmtTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.c; diff --git a/infer/tests/frontend/c/InitListExprTest.java b/infer/tests/frontend/c/InitListExprTest.java index 11b7be132..5f8df7ade 100644 --- a/infer/tests/frontend/c/InitListExprTest.java +++ b/infer/tests/frontend/c/InitListExprTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.c; diff --git a/infer/tests/frontend/c/LoopsTest.java b/infer/tests/frontend/c/LoopsTest.java index e512492f1..77cf3638a 100644 --- a/infer/tests/frontend/c/LoopsTest.java +++ b/infer/tests/frontend/c/LoopsTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.c; diff --git a/infer/tests/frontend/c/NestedOperatorsTest.java b/infer/tests/frontend/c/NestedOperatorsTest.java index 498b292b4..87a082114 100644 --- a/infer/tests/frontend/c/NestedOperatorsTest.java +++ b/infer/tests/frontend/c/NestedOperatorsTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.c; diff --git a/infer/tests/frontend/c/PrototypeTest.java b/infer/tests/frontend/c/PrototypeTest.java index cb494d755..af6116a51 100644 --- a/infer/tests/frontend/c/PrototypeTest.java +++ b/infer/tests/frontend/c/PrototypeTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.c; diff --git a/infer/tests/frontend/c/SwitchStmtTest.java b/infer/tests/frontend/c/SwitchStmtTest.java index d0cf2224e..dad42c578 100644 --- a/infer/tests/frontend/c/SwitchStmtTest.java +++ b/infer/tests/frontend/c/SwitchStmtTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.c; diff --git a/infer/tests/frontend/c/TypesTest.java b/infer/tests/frontend/c/TypesTest.java index 0c3fc6e84..7741045d2 100644 --- a/infer/tests/frontend/c/TypesTest.java +++ b/infer/tests/frontend/c/TypesTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.c; diff --git a/infer/tests/frontend/cpp/CastsTest.java b/infer/tests/frontend/cpp/CastsTest.java index 913652bcb..696f8d8de 100644 --- a/infer/tests/frontend/cpp/CastsTest.java +++ b/infer/tests/frontend/cpp/CastsTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.cpp; diff --git a/infer/tests/frontend/cpp/ClassTest.java b/infer/tests/frontend/cpp/ClassTest.java index 3ca21ea94..5e286facf 100644 --- a/infer/tests/frontend/cpp/ClassTest.java +++ b/infer/tests/frontend/cpp/ClassTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.cpp; diff --git a/infer/tests/frontend/cpp/FunctionsTest.java b/infer/tests/frontend/cpp/FunctionsTest.java index bbc83a228..177f07fa2 100644 --- a/infer/tests/frontend/cpp/FunctionsTest.java +++ b/infer/tests/frontend/cpp/FunctionsTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.cpp; diff --git a/infer/tests/frontend/cpp/LiteralsTest.java b/infer/tests/frontend/cpp/LiteralsTest.java index dcb4371d6..2a2287b4a 100644 --- a/infer/tests/frontend/cpp/LiteralsTest.java +++ b/infer/tests/frontend/cpp/LiteralsTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.cpp; diff --git a/infer/tests/frontend/cpp/NamespaceTest.java b/infer/tests/frontend/cpp/NamespaceTest.java index 07ef1b2b5..785d5b522 100644 --- a/infer/tests/frontend/cpp/NamespaceTest.java +++ b/infer/tests/frontend/cpp/NamespaceTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.cpp; diff --git a/infer/tests/frontend/objc/ArcExampleTest.java b/infer/tests/frontend/objc/ArcExampleTest.java index 7749f29c0..d895a95ab 100644 --- a/infer/tests/frontend/objc/ArcExampleTest.java +++ b/infer/tests/frontend/objc/ArcExampleTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.objc; diff --git a/infer/tests/frontend/objc/BlockTest.java b/infer/tests/frontend/objc/BlockTest.java index 34ab85311..9d0a32a60 100644 --- a/infer/tests/frontend/objc/BlockTest.java +++ b/infer/tests/frontend/objc/BlockTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.objc; diff --git a/infer/tests/frontend/objc/BoxingTest.java b/infer/tests/frontend/objc/BoxingTest.java index 48b4eb4e2..3991d4a97 100644 --- a/infer/tests/frontend/objc/BoxingTest.java +++ b/infer/tests/frontend/objc/BoxingTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.objc; diff --git a/infer/tests/frontend/objc/CategoryTest.java b/infer/tests/frontend/objc/CategoryTest.java index e7df41915..cb2bab732 100644 --- a/infer/tests/frontend/objc/CategoryTest.java +++ b/infer/tests/frontend/objc/CategoryTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.objc; diff --git a/infer/tests/frontend/objc/ConditionalOperatorTest.java b/infer/tests/frontend/objc/ConditionalOperatorTest.java index d5d8f716b..dd5d438b7 100644 --- a/infer/tests/frontend/objc/ConditionalOperatorTest.java +++ b/infer/tests/frontend/objc/ConditionalOperatorTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.objc; diff --git a/infer/tests/frontend/objc/ExceptionTest.java b/infer/tests/frontend/objc/ExceptionTest.java index dd05cb894..f5924d954 100644 --- a/infer/tests/frontend/objc/ExceptionTest.java +++ b/infer/tests/frontend/objc/ExceptionTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.objc; diff --git a/infer/tests/frontend/objc/FastEnumerationTest.java b/infer/tests/frontend/objc/FastEnumerationTest.java index 47d7c220f..c8585f294 100644 --- a/infer/tests/frontend/objc/FastEnumerationTest.java +++ b/infer/tests/frontend/objc/FastEnumerationTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.objc; diff --git a/infer/tests/frontend/objc/LateDefinedVarDeclTest.java b/infer/tests/frontend/objc/LateDefinedVarDeclTest.java index 00abf9329..a9e3bd840 100644 --- a/infer/tests/frontend/objc/LateDefinedVarDeclTest.java +++ b/infer/tests/frontend/objc/LateDefinedVarDeclTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.objc; diff --git a/infer/tests/frontend/objc/MallocTest.java b/infer/tests/frontend/objc/MallocTest.java index 82c81b868..7739865df 100644 --- a/infer/tests/frontend/objc/MallocTest.java +++ b/infer/tests/frontend/objc/MallocTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.objc; diff --git a/infer/tests/frontend/objc/MemoryLeakBenchmarkTest.java b/infer/tests/frontend/objc/MemoryLeakBenchmarkTest.java index d7d7cd066..4f2ce7e93 100644 --- a/infer/tests/frontend/objc/MemoryLeakBenchmarkTest.java +++ b/infer/tests/frontend/objc/MemoryLeakBenchmarkTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.objc; diff --git a/infer/tests/frontend/objc/NSAssertTest.java b/infer/tests/frontend/objc/NSAssertTest.java index dc9c22b05..dd9936f54 100644 --- a/infer/tests/frontend/objc/NSAssertTest.java +++ b/infer/tests/frontend/objc/NSAssertTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.objc; diff --git a/infer/tests/frontend/objc/NonnullAttributeTest.java b/infer/tests/frontend/objc/NonnullAttributeTest.java index a8b3ec8c5..49f3851d7 100644 --- a/infer/tests/frontend/objc/NonnullAttributeTest.java +++ b/infer/tests/frontend/objc/NonnullAttributeTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.objc; diff --git a/infer/tests/frontend/objc/PredefinedExpressionTest.java b/infer/tests/frontend/objc/PredefinedExpressionTest.java index 085f1ea5c..ecc2a66b9 100644 --- a/infer/tests/frontend/objc/PredefinedExpressionTest.java +++ b/infer/tests/frontend/objc/PredefinedExpressionTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.objc; diff --git a/infer/tests/frontend/objc/PropertyTest.java b/infer/tests/frontend/objc/PropertyTest.java index 83f762ee8..681f8926e 100644 --- a/infer/tests/frontend/objc/PropertyTest.java +++ b/infer/tests/frontend/objc/PropertyTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.objc; diff --git a/infer/tests/frontend/objc/ProtocolTest.java b/infer/tests/frontend/objc/ProtocolTest.java index 5dbcb0888..0d999cea4 100644 --- a/infer/tests/frontend/objc/ProtocolTest.java +++ b/infer/tests/frontend/objc/ProtocolTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.objc; diff --git a/infer/tests/frontend/objc/ReturnTest.java b/infer/tests/frontend/objc/ReturnTest.java index a7f7c0145..4778d4592 100644 --- a/infer/tests/frontend/objc/ReturnTest.java +++ b/infer/tests/frontend/objc/ReturnTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.objc; diff --git a/infer/tests/frontend/objc/StaticSelf.java b/infer/tests/frontend/objc/StaticSelf.java index aefaacb50..5a7d0c3ae 100644 --- a/infer/tests/frontend/objc/StaticSelf.java +++ b/infer/tests/frontend/objc/StaticSelf.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.objc; diff --git a/infer/tests/frontend/objc/StringTest.java b/infer/tests/frontend/objc/StringTest.java index 684079496..3893554f5 100644 --- a/infer/tests/frontend/objc/StringTest.java +++ b/infer/tests/frontend/objc/StringTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.objc; diff --git a/infer/tests/frontend/objc/SubclassTest.java b/infer/tests/frontend/objc/SubclassTest.java index d9963094c..8483592f8 100644 --- a/infer/tests/frontend/objc/SubclassTest.java +++ b/infer/tests/frontend/objc/SubclassTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.objc; diff --git a/infer/tests/frontend/objc/TypesTest.java b/infer/tests/frontend/objc/TypesTest.java index 55367b4b9..a533c1980 100644 --- a/infer/tests/frontend/objc/TypesTest.java +++ b/infer/tests/frontend/objc/TypesTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.objc; diff --git a/infer/tests/frontend/objcpp/FuncOverloadingTest.java b/infer/tests/frontend/objcpp/FuncOverloadingTest.java index c81d07b78..56b2150ad 100644 --- a/infer/tests/frontend/objcpp/FuncOverloadingTest.java +++ b/infer/tests/frontend/objcpp/FuncOverloadingTest.java @@ -5,7 +5,7 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - */ +*/ package frontend.objcpp;