1*205f7ee7SNikita Popov; RUN: opt < %s -passes=lint -disable-output 2>&1 | FileCheck --allow-empty %s 2*205f7ee7SNikita Popov 3*205f7ee7SNikita Popovdeclare void @foo(ptr noalias, ptr noalias) 4*205f7ee7SNikita Popov 5*205f7ee7SNikita Popovdefine void @test() { 6*205f7ee7SNikita Popoventry: 7*205f7ee7SNikita Popov call void @foo(ptr null, ptr null) 8*205f7ee7SNikita Popov ret void 9*205f7ee7SNikita Popov} 10*205f7ee7SNikita Popov 11*205f7ee7SNikita Popov; Lint should not complain about passing null to both arguments if they are 12*205f7ee7SNikita Popov; null, since noalias only applies if the argument is written to, which is not 13*205f7ee7SNikita Popov; possible for a null pointer. 14*205f7ee7SNikita Popov; CHECK-NOT: Unusual: noalias argument aliases another argument 15